IL83704A - Procedure and data structure for synthesis and transformation of logic circuit designs - Google Patents

Procedure and data structure for synthesis and transformation of logic circuit designs

Info

Publication number
IL83704A
IL83704A IL83704A IL8370487A IL83704A IL 83704 A IL83704 A IL 83704A IL 83704 A IL83704 A IL 83704A IL 8370487 A IL8370487 A IL 8370487A IL 83704 A IL83704 A IL 83704A
Authority
IL
Israel
Prior art keywords
transformation
synthesis
procedure
data structure
logic circuit
Prior art date
Application number
IL83704A
Other languages
English (en)
Other versions
IL83704A0 (en
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 IL83704A0 publication Critical patent/IL83704A0/xx
Publication of IL83704A publication Critical patent/IL83704A/xx

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)
IL83704A 1986-09-12 1987-08-31 Procedure and data structure for synthesis and transformation of logic circuit designs IL83704A (en)

Applications Claiming Priority (1)

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

Publications (2)

Publication Number Publication Date
IL83704A0 IL83704A0 (en) 1988-01-31
IL83704A true IL83704A (en) 1992-06-21

Family

ID=25423868

Family Applications (1)

Application Number Title Priority Date Filing Date
IL83704A IL83704A (en) 1986-09-12 1987-08-31 Procedure and data structure for synthesis and transformation of logic circuit designs

Country Status (7)

Country Link
EP (1) EP0262397A3 (fr)
JP (1) JPS63153673A (fr)
AU (1) AU7727987A (fr)
DK (1) DK473287A (fr)
FI (1) FI873918A7 (fr)
IE (1) IE872445L (fr)
IL (1) IL83704A (fr)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5095441A (en) * 1986-09-12 1992-03-10 Digital Equipment Corporation Rule inference and localization during synthesis of logic circuit designs
US4922432A (en) * 1988-01-13 1990-05-01 International Chip Corporation Knowledge based method and apparatus for designing integrated circuits using functional specifications
US7143020B1 (en) * 1999-10-07 2006-11-28 Cadence Design Systems, Inc. Method and system for generic inference of sequential elements

Also Published As

Publication number Publication date
EP0262397A3 (fr) 1990-09-19
FI873918A0 (fi) 1987-09-10
EP0262397A2 (fr) 1988-04-06
IL83704A0 (en) 1988-01-31
FI873918A7 (fi) 1988-03-13
DK473287A (da) 1988-03-13
IE872445L (en) 1988-03-12
DK473287D0 (da) 1987-09-11
AU7727987A (en) 1988-03-17
JPS63153673A (ja) 1988-06-27

Similar Documents

Publication Publication Date Title
GB2187101B (en) Computer interfacing of endoscope
GB9003688D0 (en) Method of forming data cards
EP0321496A4 (fr) Polytetrapeptides et polypentapeptides d'elastine pour le developpement d'une structure et d'une force en fonction de la temperature.
GB8714761D0 (en) Manufacture of integrated circuits
IL83547A0 (en) Manufacture of integrated circuits
EP0405728A3 (en) Rule inference and localization during synthesis of logic circuit designs
IL83698A0 (en) Rule structure for insertion of new elements in a circuit design synthesis procedure
GB2193690B (en) Mechanisms for extending and retracting writing members of writing instruments
EP0239119A3 (en) Information transferring method and apparatus of transferring information from one memory area to another memory area
GB2228821B (en) Method of forming data cards
ZA868713B (en) Synthesis of aryloxypropanolamines and arylethanolamines
IL83704A (en) Procedure and data structure for synthesis and transformation of logic circuit designs
GB8603492D0 (en) Provision of information
GB2198317B (en) Recovery of data clocks
JPS6490139A (en) Synthesis of cis-9-tricocene
GB8628729D0 (en) Input of graphic analog data into computer
EP0233734A3 (en) Clock signal generating circuit
AU7728287A (en) Cad of logic circuits: syntax and accessing data base
GB2194658B (en) Transfer circuit and transfer process for the transfer of co-efficients
GB2261578B (en) Keyboard interface for clock and data signals
GB8624736D0 (en) Reading of data
GB8717447D0 (en) Synthesis of substituted benzofurans
IL83699A (en) Rule structure in a procedure for synthesis of logic circuits
BG41970A1 (en) Device for shortening and shifting of opening for data
GB8630447D0 (en) Storage of data

Legal Events

Date Code Title Description
KB Patent renewed