Hazard-freedom checking in speed-independent systems

Husnu Yenigun; Vladimir Levin; Doron Peled; Peter A. Beerel

doi:10.1007/3-540-48153-2_24

Hazard-freedom checking in speed-independent systems

Husnu Yenigun, Vladimir Levin, Doron Peled, Peter A. Beerel

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

5 Scopus citations

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).

Original language	English
Title of host publication	Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings
Editors	Laurence Pierre, Thomas Kropf
Publisher	Springer Verlag
Pages	317-321
Number of pages	5
ISBN (Print)	3540665595, 9783540665595
DOIs	https://doi.org/10.1007/3-540-48153-2_24
State	Published - 1999
Externally published	Yes
Event	10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999 - Bad Herrenalb, Germany Duration: 27 Sep 1999 → 29 Sep 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1703
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999
Country/Territory	Germany
City	Bad Herrenalb
Period	27/09/99 → 29/09/99

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

Access to Document

10.1007/3-540-48153-2_24

Cite this

Yenigun, H., Levin, V., Peled, D., & Beerel, P. A. (1999). Hazard-freedom checking in speed-independent systems. In L. Pierre, & T. Kropf (Eds.), Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings (pp. 317-321). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1703). Springer Verlag. https://doi.org/10.1007/3-540-48153-2_24

Yenigun, Husnu ; Levin, Vladimir ; Peled, Doron et al. / Hazard-freedom checking in speed-independent systems. Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. editor / Laurence Pierre ; Thomas Kropf. Springer Verlag, 1999. pp. 317-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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 = "גרמניה",

}

Yenigun, H, Levin, V, Peled, D & Beerel, PA 1999, Hazard-freedom checking in speed-independent systems. in L Pierre & T Kropf (eds), Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1703, Springer Verlag, pp. 317-321, 10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999, Bad Herrenalb, Germany, 27/09/99. https://doi.org/10.1007/3-540-48153-2_24

Hazard-freedom checking in speed-independent systems. / Yenigun, Husnu; Levin, Vladimir; Peled, Doron et al.
Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. ed. / Laurence Pierre; Thomas Kropf. Springer Verlag, 1999. p. 317-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1703).

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

TY - GEN

T1 - Hazard-freedom checking in speed-independent systems

AU - Yenigun, Husnu

AU - Levin, Vladimir

AU - Peled, Doron

AU - Beerel, Peter A.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - 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).

AB - 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).

UR - http://www.scopus.com/inward/record.url?scp=84958618833&partnerID=8YFLogxK

U2 - 10.1007/3-540-48153-2_24

DO - 10.1007/3-540-48153-2_24

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84958618833

SN - 3540665595

SN - 9783540665595

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 317

EP - 321

BT - Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings

A2 - Pierre, Laurence

A2 - Kropf, Thomas

PB - Springer Verlag

T2 - 10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999

Y2 - 27 September 1999 through 29 September 1999

ER -

Yenigun H, Levin V, Peled D, Beerel PA. Hazard-freedom checking in speed-independent systems. In Pierre L, Kropf T, editors, Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. Springer Verlag. 1999. p. 317-321. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48153-2_24

Hazard-freedom checking in speed-independent systems

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this