Combined Formal Post- and Presynthesis Verification in High Level Synthesis
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Reusing hardware components with single-state processes
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Hi-index | 0.00 |