Hardware Synthesis Using SAFL and Application to Processor Design
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Processor Description Languages
Processor Description Languages
Reusing hardware components with single-state processes
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Hi-index | 0.00 |