Formal methods for VLSI design : IFIP WG 10.5 lecture notes/

Similar Items

• VLSI-SOC, from systems to chips : IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany /
  by: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (12th : 2003 : Darmstadt, Germany), et al.
  Published: (2006)
• Logic and architecture synthesis : proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 /
  by: IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis (1990 : Paris, France), et al.
  Published: (1991)
• VLSI design /
  by: 293697 Vai, M. Michael
  Published: (2001)
• The VLSI handbook /
  by: Chen, Wai-Kai, 1936-
  Published: (2000)
• VLSI technology/
  by: Sze, S. M.
  Published: (1983)