Quality-driven design in the system-on-a-chip era: Why and how?
- 30 April 2001
- journal article
- Published by Elsevier in Journal of Systems Architecture
- Vol. 47 (3-4), 201-224
- https://doi.org/10.1016/s1383-7621(00)00046-1
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A unified framework for the formal verification of sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modern Concepts of Quality and Their Relationship to Design Reuse and Model LibrariesPublished by Springer Nature ,1996
- General Decomposition and Its Use in Digital Circuit SynthesisVLSI Design, 1995
- Product Definition Through the Design-by-Use ProcessAT&T Technical Journal, 1992
- AN EFFICIENT HEURISTIC METHOD FOR STATE ASSIGNMENT OF LARGE SEQUENTIAL MACHINESJournal of Circuits, Systems and Computers, 1992
- A Method for Symbolic Verification of Synchronous CircuitsPublished by Elsevier ,1991
- Logic verification algorithms and their parallel implementationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- On the verification of sequential machines at differing levels of abstractionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- On the completeness and constructiveness of parametric characterizations to vector optimization problemsOR Spectrum, 1986
- A mathematical basis for satisficing decision makingMathematical Modelling, 1982