Formal Aspects of VLSI Design

Proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.

• Author(s): George J. Milne, P. A. Subrahmanyam,
• Publisher: North Holland
• Pages: 213
• ISBN_10: 0444700269
  ISBN_13: 9780444700261
  
• Language: en
• Categories: Computers / Logic Design , Technology & Engineering / Electronics / Circuits / General , Technology & Engineering / Electronics / Circuits / VLSI & ULSI ,

Description:... Formal aspects of VLSI design; Towards verifiably correct VLSI design; Design transformation and chip planning; Digital design in a functional calculus; The algebraic basis of an expert system for VLSI design; Specification and VLSI design; Current work on the semantics of digital systems; Automatic circuit verification using temporal logic: two new examples; Can a simulator verify a circuit? Formal verification of synchronous systems; Why higher-order logic is a good formalism for specifying and verifying hardware; Specification and verification using higher-order logic: a case study.