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

Antzeko izenburuak

• 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 /
  nork: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (12th : 2003 : Darmstadt, Germany), et al.
  Argitaratua: (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 /
  nork: IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis (1990 : Paris, France), et al.
  Argitaratua: (1991)
• Formal aspect of VLSI design/
  nork: Milne, George J., et al.
  Argitaratua: (1986)
• LSI/VLSI testability design /
  nork: 438910 Tsui, Frank F.
  Argitaratua: (1986)
• VLSI 83: VLSI design of digital system/
  nork: IFIP TC 10/ WG 10.5 International Conference on Very Large Scale Intergration, (1983 : Trondheim, Norway), et al.
  Argitaratua: (1983)