HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications

Résumé : This work addresses the analysis and validation of CHP specifications for asynchronous circuits, using property verification tools. CHP semantics, initially given in terms of Petri Nets, are reformulated as labeled transition systems. Circuit 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. The direct translation must be optimized to delay state explosion. Performance studies are reported.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01391640
Contributor : Lucie Torella Connect in order to contact the contributor
Submitted on : Thursday, November 3, 2016 - 4:05:04 PM
Last modification on : Tuesday, October 19, 2021 - 1:48:11 PM

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : hal-01391640, version 1

Collections

Citation

M. Boubekeur, M. Renaudin, D. Borrione, L. Mounier, A. Sirianni. Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. Forum on specification and Design Languages (FDL'03), Sep 2003, Frankfurt, Allemagne. ⟨hal-01391640⟩

Share

Metrics

Record views

191