The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Validation of Asynchronous Circuit Specifications Using IF/CADP
The work
| Authors | D. Borrione; Menouer Boubekeur; Laurent Mounier; Marc Renaudin; A. Sirianni |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2006 |
| Citekey | borrione2006validation |
Where it appeared
| Publisher | Springer Science+Business Media |
|---|---|
| Pages | 85--100 |
Identifiers
| DOI | 10.1007/0-387-33403-3_6 |
|---|---|
| OpenAlex | W1596421302 |
Access
| Landing page | https://doi.org/10.1007/0-387-33403-3_6 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007%2F0-387-33403-3_6.pdf |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
This work addresses the analysis and validation of modular CHP specifications for asynchronous circuits, using formalisms and tools coming from the field of distributed software. CHP specifications are translated into an intermediate format (IF) based on communicating extended finite state machines. They are then validated using the IF environment, which provides model checking and bi-simulation tools.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 23:13 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@incollection{borrione2006validation,
title = {Validation of Asynchronous Circuit Specifications Using IF/CADP},
author = {D. Borrione and Menouer Boubekeur and Laurent Mounier and Marc Renaudin and A. Sirianni},
year = {2006},
publisher = {Springer Science+Business Media},
pages = {85--100},
doi = {10.1007/0-387-33403-3_6},
}
This record lives at https://refs.drheap.org/borrione2006validation/ and will keep doing so.