Automatic verification of speed-independent circuit designs using the Circal system

A.M. Bailey

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationCorrect Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993)
EditorsG.J. Milne, L. Pierre
Place of PublicationBerlin
PublisherSpringer
Pages167-178
ISBN (Print)3-540-56778-X
DOIs
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
Volume683
ISSN (Print)0302-9743

Cite this

Bailey, A. M. (1993). Automatic verification of speed-independent circuit designs using the Circal system. In G. J. Milne, & L. Pierre (Eds.), Correct Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993) (pp. 167-178). (Lecture Notes in Computer Science; Vol. 683). Springer. https://doi.org/10.1007/BFb0021722