Formal specification and verification in VLSI design - Davie, Bruce S. (Edinburgh : Edinburgh University Press, 1990)
Includes bibliographical references (pages 184-193) and index.
Keywords: Integrated circuits -- Very large scale integration -- Computer-aided design; Integrated circuits -- Verification