Author:
Manolios Panagiotis,Srinivasan Sudarshan,Vroon Daron
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Abstraction of Multi-port Memories with Arbitrary Addressable Units;Computer Aided Systems Theory - EUROCAST 2013;2013
2. Refinement-based verification of elastic pipelined systems;IET Computers & Digital Techniques;2012
3. EPR-Based Bounded Model Checking at Word Level;Automated Reasoning;2012
4. Verifying Pipelines with BAT;Design and Verification of Microprocessor Systems for High-Assurance Applications;2010
5. Reveal: A Formal Verification Tool for Verilog Designs;Logic for Programming, Artificial Intelligence, and Reasoning;2008