The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
Instrumenting AMS assertion verification on commercial platforms
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A static verification approach for architectural integration of mixed-signal integrated circuits
Integration, the VLSI Journal
Design rules and abstractions: from branching and real time
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
| Hi-index | 0.00 |