FI873919A0 - Foereskriftsstruktur i en procedur foer syntes av logiska kretsar. - Google Patents

Foereskriftsstruktur i en procedur foer syntes av logiska kretsar.

Info

Publication number
FI873919A0
FI873919A0 FI873919A FI873919A FI873919A0 FI 873919 A0 FI873919 A0 FI 873919A0 FI 873919 A FI873919 A FI 873919A FI 873919 A FI873919 A FI 873919A FI 873919 A0 FI873919 A0 FI 873919A0
Authority
FI
Finland
Prior art keywords
logiska
kretsar
foereskriftsstruktur
syntes
foer
Prior art date
Application number
FI873919A
Other languages
English (en)
Other versions
FI873919A (fi
Inventor
Donald F Hooper
Snehamay Kundu
Original Assignee
Digital Equipment Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Digital Equipment Corp filed Critical Digital Equipment Corp
Publication of FI873919A0 publication Critical patent/FI873919A0/fi
Publication of FI873919A publication Critical patent/FI873919A/fi

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/04—Inference or reasoning models
    • G06N5/046—Forward inferencing; Production systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Software Systems (AREA)
  • Computational Linguistics (AREA)
  • Mathematical Physics (AREA)
  • Computing Systems (AREA)
  • Artificial Intelligence (AREA)
  • Data Mining & Analysis (AREA)
  • Geometry (AREA)
  • Devices For Executing Special Programs (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Tests Of Electronic Circuits (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)
FI873919A 1986-09-12 1987-09-10 Foereskriftsstruktur i en procedur foer syntes av logiska kretsar. FI873919A (fi)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US90751286A 1986-09-12 1986-09-12

Publications (2)

Publication Number Publication Date
FI873919A0 true FI873919A0 (fi) 1987-09-10
FI873919A FI873919A (fi) 1988-03-13

Family

ID=25424225

Family Applications (1)

Application Number Title Priority Date Filing Date
FI873919A FI873919A (fi) 1986-09-12 1987-09-10 Foereskriftsstruktur i en procedur foer syntes av logiska kretsar.

Country Status (7)

Country Link
EP (1) EP0259702A3 (fi)
JP (1) JPS63153674A (fi)
AU (1) AU7728087A (fi)
DK (1) DK473387A (fi)
FI (1) FI873919A (fi)
IE (1) IE872446L (fi)
IL (1) IL83699A (fi)

Also Published As

Publication number Publication date
EP0259702A3 (en) 1990-09-19
DK473387D0 (da) 1987-09-11
IL83699A0 (en) 1988-01-31
FI873919A (fi) 1988-03-13
IE872446L (en) 1988-03-12
DK473387A (da) 1988-03-13
IL83699A (en) 1993-01-31
JPS63153674A (ja) 1988-06-27
EP0259702A2 (en) 1988-03-16
AU7728087A (en) 1988-03-17

Similar Documents

Publication Publication Date Title
FI890799A0 (fi) Fjaerrprogrammering av kanalauktoriseringsenhet i kabeltelevision.
FI870792A (fi) Foerfarande foer tillsaettande av aromaemnen i tobak.
FI77063B (fi) Foerfarande foer effektivering av fibersuspensionstvaett.
FI875512A0 (fi) Anordning foer tillvaratagande av vaerme fraon avloppsluften i torkpartiet av en pappersmaskin.
FI872470A0 (fi) Inducering av galaktosregulerad genexpression i jaest.
FI82029B (fi) Anordning foer vaermehaerdning av glasskivor.
FI870922A (fi) Foerfarande foer paovisning av polynukleotidsekvenser medelst enkelhybridisering i loesningsfas.
FI865073A0 (fi) Foerfarande foer eliminering av mikrober i processvatten av pappersfabriker.
FI873693A0 (fi) Foerfarande foer initiering av kopplingsfunktion i en programmerbar mottagaranordning av en underhaollningselektronik.
FI880414A0 (fi) Saett foer direkt avsvavling av roekgaser i en eldstad.
FI875193A (fi) Foerfarande foer framstaellning av homo- och kopolymerer av vinylklorid i en ympad mikrosuspension.
FI890973A0 (fi) Anordning foer reversering av luftfloede i en torkkammare.
FI881491A (fi) Foerfarande foer inducering av sekundaer metabolitproduktion i vaextkulturer.
FI860669A0 (fi) Spetslist i inloppslaodan av en pappersmaskin.
FI871455A (fi) Foerfarande foer framstaellning av vinylkloridhomo- och kopolymerlatexer i mikrosuspension foer anvaendning saosom froeaemnen.
FI77942B (fi) Anordning foer stabilisering av maetningsgeometri i en analysator.
FI874310A0 (fi) Foerfarande foer framstaellning av n-( -cyanoalkyl)aminofenoler.
FI872865A0 (fi) Kopplingsanordning foer aotskiljning av ledarna i en abonnentanslutning fraon matningsspaenningen.
FI870238A0 (fi) Utdragsanordning foer hantering av i upprullningsmaskiner insatta upprullningsroer.
FI873919A0 (fi) Foereskriftsstruktur i en procedur foer syntes av logiska kretsar.
FI863927A0 (fi) Foerfarande foer installering av tillaeggskonstruktioner i fordon.
FI860065A (fi) Foerfarande foer fastsvetsning av en stoedprofil i en mellanvaegg.
FI860337A0 (fi) Hybridfoerfarande och -anordning foer utnyttjande av solenergi i byggnaders uppvaermning.
FI860294A0 (fi) Foerfarande foer minskning av restkolhalten i flygaska.
FI906152A0 (fi) Anordning foer insaettning av en rullhylsa i en rullmaskin.

Legal Events

Date Code Title Description
FD Application lapsed

Owner name: DIGITAL EQUIPMENT CORPORATION