Smooth dynamical systems which realize arithmetical and logical operations
Three decades of mathematical system theory
Model checking algorithms for analog verification
Proceedings of the 39th annual Design Automation Conference
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Newtonian Arbiters Cannot be Proven Correct
Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on low power
A Verification System for Transient Response of Analog Circuits Using Model Checking
VLSID '05 Proceedings of the 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design
Towards formal verification of analog designs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
ASYNC '06 Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems
Verifying analog oscillator circuits using forward/backward abstraction refinement
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Computing synchronizer failure probabilities
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 44th annual Design Automation Conference
Anomalous Behavior of Synchronizer and Arbiter Circuits
IEEE Transactions on Computers
Circuit Level Verification of a High-Speed Toggle
FMCAD '07 Proceedings of the Formal Methods in Computer Aided Design
Verifying start-up conditions for a ring oscillator
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Synchronizer Behavior and Analysis
ASYNC '09 Proceedings of the 2009 15th IEEE Symposium on Asynchronous Circuits and Systems (async 2009)
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Proving Newtonian arbiters Correct, almost surely
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Hi-index | 0.00 |
Circuit-level verification is a promising area for formal methods research. Simulation using tools such as SPICE remains the main method for circuit validation. Increasing integration densities have increased the prevalence of analog/mixed-signal designs. It is now common for analog components such as DLLs and phase correction circuits to be embedded deep in digital designs, making the circuits critical for chip functional yet hard to test. While digital design flows have benefited from systematic methodologies including the use of formal methods, circuit design remains an art. As a consequence, analog design errors account for a growing percentage of design re-spins. All of these have created a pressing need for better circuit-level CAD and motivated a strong interest in formal verification.