Formal verification of pipeline conflicts in RISC processors
EURO-DAC '94 Proceedings of the conference on European design automation
Formal Modeling and Verification of Microprocessors
IEEE Transactions on Computers
Towards verifying VHDL descriptions of processors
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Hardware Modeling Using Function Encapsulation
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
| Hi-index | 0.00 |