Formal methods in circuit design

Similar Items

• VLSI design techniques for analog and digital circuits
  by: Geiger Randall L., et al.
  Published: (1990)
• Analog design issues in digital VLSI circuits and systems
  Published: (1997)
• Handshake circuits An asynchronous architecture for VLSI programming
  by: Berkel Kees van
  Published: (1993)
• CMOS 3 cell library
  Published: (1988)
• Advanced low-power digital circuit techniques
  by: Elrabaa Muhammad S., et al.
  Published: (1997)