Formal Specification and Verification in VLSI Design
Bruce S. Davie · Edinburgh University Press eBooks · 1991
Hardware descriptive languages - describing behaviour a selection of languages CIRCAL enhanced CIRCAL specification techniques, SuperC manual design transformation automatic design validation - simulation a simple computer - informal and formal specification constraints - introductory examples and definitions specification of constraints the uses of constraints constraints and SuperC.