Author:
Benalycherif Lyes,McIsaac Anthony
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Practical Formal Verification in Microprocessor Design;Aagard;IEEE Design and Test of Computers,2001
2. Automatic Abstraction and Verification of Verilog Models;Andraus,2004
3. Model Checking in a Microprocessor Design Project;Barrett,1997
4. Beer, I., S. Ben-David, C. Eisner and A. Landver, RuleBase: An Industry-Oriented Formal Verification Tool, Proceedings of the Design Automation Conference (1996), 655–660
5. Structured Approach to Property Specification and Verification of Hardware IP;Benalycherif,2007
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献