Generator-based Verification

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 2003, Pages 146-153

  Zhu, Yunshan ^a   Kukula, James H ^a  

^a SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONALLY SEQUENTIALLY DETERMINISTIC (FSD) GENERATORS; SEQUENTIAL ELEMENTS (SEQ); TRACE CHECKING;

ALGORITHMS; BIT ERROR RATE; BLOCK CODES; COMPUTATIONAL METHODS; COMPUTER SIMULATION; IMAGE ANALYSIS; SIGNAL THEORY; SYSTEMS ANALYSIS; USER INTERFACES; VECTORS;

COMPUTER AIDED DESIGN;

EID: 0347409240     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. MOCHA: Modularity in model checking. In Computer Aided Verification, pages 521-525, 1998.
2. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
3. D. Dill. Trace Theory For Automatic Hierarchical Verification Of Speed-independent Circuits. ACN Distinguished Dissertations. MIT Press, Cambridge MA, 1989.
4. J. H. Kukula and T. R. Shiple. Building circuits from relations. In Proc. of the Computer Aided Verification Conf., pages 112-123, July 2000.
5. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1992.
6. K. McMillan. http://www-cad.eecs.berkeley.edu/kenmcmil/smv/.
7. K. L. McMillan. A compositional rule for hardware design refinement. In Proc. 9th International Computer Aided Verification Conference, pages 24-35, 1997.
8. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Transactions on Programming Languages and systems, 16(3): 843-871, may 1994.
9. K. Shimizu and D. Dill. Deriving a Simulation Input Generator and a Coverage Metric From a Formal Specification. In Proc. of the Design Automation Conf., pages 801-806, June 2002.
10. K. Shimizu, D. L. Dill, and A. J. Hu. Monitor-based formal specification of PCI. In Formal Methods in Computer-Aided Design, pages 335-353, 2000.
11. L. J. StockMeyer and A. R. Meyer. Word problems requiring exponential time. In Proc. of the 5th Annual Symposium on Theory of Computing, pages 1-9. ACM Press, 1973.
12. D. Wang, P.-H. Ho, J. Long, J. H. Kukula, Y. Zhu, H.-K. T. Ma, and R. Damiano. Formal property verification by abstraction refinement with formal, simulation and hybrid engines. In Design Automation Conference, pages 35-40, 2001.
13. J. Yuan, K. Shultz, C. Pixley, H. Miller, and A. Aziz. Modeling design constraints and biasing in simulation using bdds. In Proc. Intl. Conf. on Computer-Aided Design, pages 584-589, Nov. 1999.