Author:
Mueller Silvia M.,Paul Wolfgang J.,Kroening Daniel
Reference15 articles.
1. Phillip J. Windley, “Formal modeling and verification of microprocessors”, IEEE Transactions on Computers, 1995, 44 (1), 54–72.
2. Mark Bickford and Mandayam Srivas, “Verification of a pipelined microprocessor using Clio”, Proceedings of the Mathematical Sciences Institute Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects,Springer, 1990, volume 408 of LNCS,307–332.
3. James B. Saxe, Stephen J. Garland, John V. Guttag, and James J. Horning, “Using transformations and verification in circuit design”, Technical report, Digital Systems Research Center, 1991.
4. Jerry R. Burch and David L. Dill, “Automatic verification of pipelined microprocessor control, Proc. International Conference on Computer Aided Verification, 1994.
5. Jeremy Levitt and Kunle Olukotun, “A scalable formal verification methodology for pipelined microprocessors”, 33rd Design Automation Conference (DAC’96),Association for Computing Machinery, 1996, 558563.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献