Trace theory for automatic hierarchical verification of speed-independent circuits /

Những quyển sách tương tự

• The design and analysis of VLSI circuits /
  Bằng: Glasser, Lance A.
  Được phát hành: (1985)
• VLSI system design : when and how to design very-large-scale integrated circuits /
  Bằng: Muroga, Saburo
  Được phát hành: (1982)
• Logic design and simulation /
  Được phát hành: (1986)
• Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
  Được phát hành: (1995)
• Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
  Được phát hành: (1990)