@inproceedings{fc34d5e6504c4d019231775ab2461dcb,
title = "Hazard-freedom checking in speed-independent systems",
abstract = "We describe two approaches to use the model checking tool COSPAN to check the hazard freedom in speed-independent circuits. First, we propose a straight forward approach to implement a speed- independent circuit in S/R. Second, we propose a reduction technique over the first approach by restricting the original system with certain constraints. This reduction is implemented on the top of COSPAN which also applies its own reductions, including symbolic representation (BDD).",
author = "Husnu Yenigun and Vladimir Levin and Doron Peled and Beerel, {Peter A.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999 ; Conference date: 27-09-1999 Through 29-09-1999",
year = "1999",
doi = "10.1007/3-540-48153-2_24",
language = "אנגלית",
isbn = "3540665595",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "317--321",
editor = "Laurence Pierre and Thomas Kropf",
booktitle = "Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings",
address = "גרמניה",
}