Author:
Xu Y.,Cerny E.,Silburt A.,Coady A.,Liu Y.,Pownall P.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. A. Silburt Invited Lecture: ASIC/System Hardware Verification at Nortel: A View from the Trenches. Proceeding of the 9th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’97), October, 1997, Montreal Canada.
2. A.J. Camilleri. A role for Theorem Proving in Multi-processor Design. Proceeding of the 10th International Conference on Computer Aided Verification (CAV’98),Vancouver, BC Canada, June/July 1998.
3. D.L. Dill. What’s Between Simulation and Formal Verification. Proceeding of the 35th Design Automation Conference (DAC’98), San Francisco, CA, USA, June 1998
4. FormalCheck User’s Guide. Bell labs Design Automation, Lucent Technologies, V1.1, 1997
5. K. L. McMillan. Symbolic model checking-an approach to the state explosion problem. Ph.D. thesis, SCS, Carnegie Mellon University, 1992. (See also Cadence Design Systems, Inc. www pages.)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal verification of a SONET data stream processor;IEE Proceedings - Computers and Digital Techniques;2004
2. Model Reductions and a Case Study;Formal Methods in Computer-Aided Design;2000
3. A Methodology for Large-Scale Hardware Verification;Formal Methods in Computer-Aided Design;2000