The architecture of microprocessors
The architecture of microprocessors
Microprocessor design verification
Journal of Automated Reasoning
Formal methods in circuit design
Formal methods in circuit design
Formal hardware verification methods: a survey
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Formal Verification of VHDL Descriptions in the Prevail Environment
IEEE Design & Test
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
A Rewriting Based Method for the Formal Verification of Microprocessors
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
The formal verification of generic interpreters
The formal verification of generic interpreters
Register transfer level VHDL models without clocks
Proceedings of the conference on Design, automation and test in Europe
| Hi-index | 0.00 |