Formal Verification of an Arbiter Circuit
暂无分享,去创建一个
[1] Ian M. Mitchell,et al. Reachability Analysis Using Polygonal Projections , 1999, HSCC.
[2] Jo C. Ebergen,et al. A formal approach to designing delay-insensitive circuits , 1991, Distributed Computing.
[3] B. Krogh,et al. Towards formal verification of analog designs , 2004, ICCAD 2004.
[4] Eugene Asarin,et al. The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.
[5] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[6] B. I. Silva,et al. Modeling and Verifying Hybrid Dynamic Systems Using CheckMate , 2001 .
[7] Robert P. Kurshan,et al. Analysis of digital circuits through symbolic reduction , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[8] Sofiène Tahar,et al. A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
[9] Sofiène Tahar,et al. Formal verification of analog and mixed signal designs: A survey , 2008, Microelectron. J..
[10] Michael Mendler,et al. Newtonian arbiters cannot be proven correct , 1993, Formal Methods Syst. Des..
[11] Martin Fränzle,et al. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure , 2007, J. Satisf. Boolean Model. Comput..
[12] Lars Hedrich,et al. Model checking algorithms for analog verification , 2002, DAC '02.
[13] David Pollard,et al. A User's Guide to Measure Theoretic Probability by David Pollard , 2001 .
[14] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[15] Mark R. Greenstreet,et al. Faster projection based methods for circuit level verification , 2008, 2008 Asia and South Pacific Design Automation Conference.
[16] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[17] Leonard R. Marino,et al. General theory of metastable operation , 1981, IEEE Transactions on Computers.
[18] Alain J. Martin. Programming in VLSI: from communicating processes to delay-insensitive circuits , 1991 .
[19] Sofiène Tahar,et al. Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs , 2007 .
[20] Rob A. Rutenbar,et al. Verifying analog oscillator circuits using forward/backward abstraction refinement , 2006, Proceedings of the Design Automation & Test in Europe Conference.
[21] Charles E. Molnar,et al. Anomalous Behavior of Synchronizer and Arbiter Circuits , 1973, IEEE Transactions on Computers.
[22] Siegfried M. Rump,et al. INTLAB - INTerval LABoratory , 1998, SCAN.
[23] Thomas A. Henzinger,et al. You Assume, We Guarantee: Methodology and Case Studies , 1998, CAV.
[24] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[25] D. Pollard. A User's Guide to Measure Theoretic Probability by David Pollard , 2001 .
[26] Oded Maler,et al. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques , 2004, FMCAD.
[27] Roger W. Brockett,et al. Smooth dynamical systems which realize arithmetical and logical operations , 1989 .
[28] Mark R. Greenstreet,et al. Verifying an Arbiter Circuit , 2008, 2008 Formal Methods in Computer-Aided Design.
[29] Amir Pnueli,et al. Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.
[30] Eby G. Friedman,et al. System Timing , 2000, The VLSI Handbook.
[31] Ian M. Mitchell,et al. Proving Newtonian arbiters Correct, almost surely , 1996 .