Verification Approach of Metropolis Design Framework for Embedded Systems
- 25 January 2006
- journal article
- research article
- Published by Springer Science and Business Media LLC in International Journal of Parallel Programming
- Vol. 34 (1), 3-27
- https://doi.org/10.1007/s10766-005-0002-x
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Logic of Constraints: A Quantitative Performance and Functional Constraint FormalismIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004
- Verifying LOC based functional and performance constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Metropolis: an integrated electronic system design environmentComputer, 2003
- Constraints specification at higher levels of abstractionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A scalable and flexible data synchronization scheme for embedded HW-SW shared-memory systemsPublished by Association for Computing Machinery (ACM) ,2001
- YAPIPublished by Association for Computing Machinery (ACM) ,2000
- System-level design: orthogonalization of concerns and platform-based designIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
- Communication refinement in video systems on chipPublished by Association for Computing Machinery (ACM) ,1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Science and Business Media LLC ,1992