Formal Verification of Synthesized Analog Designs (1999)


Download Links

by Abhijit Ghosh , Ranga Vemuri , Dr. Ranga Vemuri
Venue:In: International Conference on Computer Design
Citations:8 - 0 self

Documents Related by Co-Citation

8 Semi-formal verification of VHDL-AMS descriptions – A Salem
8 A formal approach to nonlinear analog circuit verification – L Hedrich, E Barke - 1995
11 Verification of analog and mixed-signal circuits using timed hybrid petri nets, in: Automated Technology for Verification and Analysis – S Little, D Walter, N Seegmiller, C Myers, T Yoneda
9 A formal approach to verification of linear analog circuits wth parameter tolerances – L Hedrich, E Barke - 1998
33 Verification of analog and mixed-signal circuits using hybrid systems techniques – Thao Dang, Re Donzé, Oded Maler - 2004
31 Towards formal verification of analog designs – S Gupta, B H Krogh, R A Rutenbar
13 On discrete modeling and model checking for nonlinear analog systems – W Hartong, L Hedrich, E Barke
4 A symbolic core approach to the formal verification of integrated mixed-mode applications – S Hendricx, L Claesen - 1997
17 Model Checking Algorithms for Analog Verification – Walter Hartong, Lars Hedrich, Erich Barke - 2002
361 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
31 On hybrid Petri nets. Discrete Event Dynamic Systems – René David, Hassane Alla - 2001
27 Verifying Analog Oscillator Circuits Using Forward/Backward Abstraction Refinement – Goran Frehse - 2006
130 PHAVer: Algorithmic verification of hybrid systems past HyTech – Goran Frehse - 2005
357 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
5 Automatic Modeling of Switch-Level Networks Using Partial Orders – P Agrawal - 1990
4 SLS – a Fast Switch Level Simulator for Verification and Fault Coverage Analysis – Z Barzilai, D K Beece, L M Hiusman, V S Iyegar, G M Silberman - 1986
39 Mechanical Verification of Reactive Systems – P Manolios - 2001
52 COSMOS: A compiled simulator for MOS circuits – Randal E. Bryant, Derek Beatty, Karl Brace, Kyeongsoon Cho, Thomas Sheffler - 1987
5 A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor. Formal Methods – J Bhadra, A Martin, J Abraham - 2005