Abstract | ||
---|---|---|
The increasing quality requirements on safety-critical electronic components and the rapid technological progress necessitate the compliance with all specified functional and non-functional design constraints. This paper introduces a novel verification method based on an unified data representation of constraints to enable multi-tool verification tasks. A Constraint Engineering System is presented which provides flexible, extensible, and multi-tool definitions of complex constraints and high-order verification tasks. Existing verification and simulation tools are combined so that the achieved complexity level of the high-order verification by far exceeds the level of the single tools. The shown examples target practical applications in analog system design and demonstrate the flexibility and the potential of this new verification approach. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1403375.1403385 | Proceedings of the conference on Design, automation and test in Europe |
Keywords | DocType | ISSN |
ic design,electronic components,technological progress,logic programming,electrostatic discharge,merging,application specific integrated circuits,design optimization,integrated circuit design,process design,system design,data representation | Conference | 1530-1591 |
ISBN | Citations | PageRank |
978-3-9810801-4-8 | 4 | 0.58 |
References | Authors | |
7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Freuer | 1 | 4 | 0.92 |
Göran Jerke | 2 | 34 | 5.19 |
Joachim Gerlach | 3 | 4 | 0.58 |
Wolfgang Nebel | 4 | 484 | 76.22 |