Author:
Barrett Geoff,McIsaac Anthony
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Geoff Barrett. Modelling nondeterminism with transition functions. Technical report, ST Internal Report, SHD AX 0.0, 1996.
2. Ilan Beer, Shoham Ben-David, Cindy Eisner, and Avner Landver. RuleBase: An industry-oriented formal verification tool. In Proceedings of the 33rd Design Automation Conference, Las Vegas, pages 655–660, 1996.
3. Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, and Michael Yoeli. Methodology and system for practical formal verification of reactive hardware. In D.Dill, editor, CAV'94, Lecture Notes in Computer Science 818, pages 182–193, 1994.
4. Jörg Bormann, Jörg Lohse, Michael Payer, and Gerd Venzl. Model checking in industrial hardware design. In Proceedings of the 32nd Design Automation Conference, San Francisco, pages 298–303, 1995.
5. Françoise Casaubieilh, Anthony Mclsaac, Mike Benjamin, et al. Functional verification methodology of Chameleon processor. In Proceedings of the 33rd Design Automation Conference, Las Vegas, pages 421–426, 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献