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

A.M. Bailey

doi:10.1007/BFb0021722

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

A.M. Bailey

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Correct Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993)
Editors	G.J. Milne, L. Pierre
Place of Publication	Berlin
Publisher	Springer
Pages	167-178
ISBN (Print)	3-540-56778-X
DOIs	https://doi.org/10.1007/BFb0021722
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Volume	683
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0021722

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

@inproceedings{e610e9eb61f5452c9f0c3b8f4a46d8a4,

title = "Automatic verification of speed-independent circuit designs using the Circal system",

author = "A.M. Bailey",

year = "1993",

doi = "10.1007/BFb0021722",

language = "English",

isbn = "3-540-56778-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "167--178",

editor = "G.J. Milne and L. Pierre",

booktitle = "Correct Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993)",

address = "Germany",

}

Bailey, AM 1993, Automatic verification of speed-independent circuit designs using the Circal system. in GJ 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). Lecture Notes in Computer Science, vol. 683, Springer, Berlin, pp. 167-178. https://doi.org/10.1007/BFb0021722

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Bailey, A.M.

PY - 1993

Y1 - 1993

U2 - 10.1007/BFb0021722

DO - 10.1007/BFb0021722

M3 - Conference contribution

SN - 3-540-56778-X

T3 - Lecture Notes in Computer Science

SP - 167

EP - 178

BT - Correct Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993)

A2 - Milne, G.J.

A2 - Pierre, L.

PB - Springer

CY - Berlin

ER -

Bailey AM. Automatic verification of speed-independent circuit designs using the Circal system. In Milne GJ, Pierre L, editors, Correct Hardware Design and Verification Methods (Proceedings IFIP WG10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993). Berlin: Springer. 1993. p. 167-178. (Lecture Notes in Computer Science). doi: 10.1007/BFb0021722