DK473387A - Regelstruktur ved en fremgangsmaade til syntese af logiske kredsloeb. - Google Patents

Regelstruktur ved en fremgangsmaade til syntese af logiske kredsloeb.

Info

Publication number
DK473387A
DK473387A DK473387A DK473387A DK473387A DK 473387 A DK473387 A DK 473387A DK 473387 A DK473387 A DK 473387A DK 473387 A DK473387 A DK 473387A DK 473387 A DK473387 A DK 473387A
Authority
DK
Denmark
Prior art keywords
synthesis
procedure
logical circuits
ruling
ruling structure
Prior art date
Application number
DK473387A
Other languages
Danish (da)
English (en)
Other versions
DK473387D0 (da
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 DK473387D0 publication Critical patent/DK473387D0/da
Publication of DK473387A publication Critical patent/DK473387A/da

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • G06N5/04Inference or reasoning models
    • G06N5/046Forward inferencing; Production systems
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/327Logic 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)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Artificial Intelligence (AREA)
  • Geometry (AREA)
  • Computational Linguistics (AREA)
  • Data Mining & Analysis (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (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)
DK473387A 1986-09-12 1987-09-11 Regelstruktur ved en fremgangsmaade til syntese af logiske kredsloeb. DK473387A (da)

Applications Claiming Priority (1)

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

Publications (2)

Publication Number Publication Date
DK473387D0 DK473387D0 (da) 1987-09-11
DK473387A true DK473387A (da) 1988-03-13

Family

ID=25424225

Family Applications (1)

Application Number Title Priority Date Filing Date
DK473387A DK473387A (da) 1986-09-12 1987-09-11 Regelstruktur ved en fremgangsmaade til syntese af logiske kredsloeb.

Country Status (7)

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

Also Published As

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

Similar Documents

Publication Publication Date Title
DK40087A (da) Fremgangsmaade til fremstilling af en termoklaeber
DK201690A (da) Fremgangsmaade til fremstilling af trykte kredsloeb
DK473487A (da) Fremgangsmaade til syntese af et kredsloebsmoenster.
DK522081A (da) Fremgangsmaade til fremstilling af xanthater
DK3787D0 (da) Fremgangsmaade til dimerisering af lavere a-olefiner
DK162218C (da) 3-oxo-4-carboxamidopyridaziner til syntese af hidtil ukendte 4-cyano-pyridaziner
NO870968D0 (no) Anordninger ved broennhode.
DK539987D0 (da) Arragenment til sammenkobling af flertrinsskiftematricer
DK473387D0 (da) Regelstruktur ved en fremgangsmaade til syntese af logiske kredsloeb.
DK509587A (da) Fremgangsmaade til inhibering af genekspression
DK489687D0 (da) Fremgangsmaade til gaering af stivelsesmatriale
DK508085A (da) Fremgangsmaade til fremstilling af oxygenholdige organiske forbindelser
DK299487A (da) Fremgangsmaade til fremstilling af enprofyllin
DK148883D0 (da) Fremgangsmade til omdannelse af terpener
DK334582A (da) Fremgangsmaade til epoxidation af olefiner
DK505888D0 (da) Fremgangsmaade til fremstilling af makrolidforbindelser
DK504988A (da) Fremgangsmaade til fremstilling af makrolidforbindelser
DK157204C (da) Fremgangsmaade til stabilisering af grunde
DK478885A (da) Fremgangsmaade til fremstilling af rimantadin
DK447189D0 (da) Fremgangsmaade til screening af purinnucleosidforbindelser
DK473787D0 (da) Fremgangsmaade til bitvis gennemfoerelse af en kredsloebsmoenstersyntese.
DK533187A (da) Fremgangsmaade til fremstilling af penemer
DK189691D0 (da) Mellemproduktforbindelser til fremstilling af dopamin-beta-hydroxylase-inhiberende mercaptoimidazolforbindelser
DK504888D0 (da) Fremgangsmaade til fremstilling af makrolidforbindelser
DK476886D0 (da) Fremgangsmaade til polymerisering af en forbindelse

Legal Events

Date Code Title Description
AHB Application shelved due to non-payment