Formal specification and verification of digital systems
By: George Milne.
Publisher: McGraw-Hill; Mcgraw-Hill (Tx)
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 240
Subjects: Digital integrated circuits -- Design and construction -- Data processing.; Integrated circuits -- Verification.; Computer hardware description languages.
Notes: Includes bibliographical references (p. 232-235) and index.