Formal methods in circuit design

Παρόμοια τεκμήρια

• VLSI design techniques for analog and digital circuits
  ανά: Geiger Randall L., κ.ά.
  Έκδοση: (1990)
• Analog design issues in digital VLSI circuits and systems
  Έκδοση: (1997)
• Handshake circuits An asynchronous architecture for VLSI programming
  ανά: Berkel Kees van
  Έκδοση: (1993)
• CMOS 3 cell library
  Έκδοση: (1988)
• Advanced low-power digital circuit techniques
  ανά: Elrabaa Muhammad S., κ.ά.
  Έκδοση: (1997)