Providing a VHDL-interface for proof systems
EURO-DAC '92 Proceedings of the conference on European design automation
A design methodology for the correct specification of VLSI systems
EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Introducing structure into behavioural descriptions obtained from timing diagram specifications
EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Fitting formal methods into the design cycle
DAC '94 Proceedings of the 31st annual Design Automation Conference
Quantitative Evaluation of Formal Based Synthesis in ASIC Design
TPCD '94 Proceedings of the Second International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience
A Formal Framework for High Level Synthesis
TPCD '94 Proceedings of the Second International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience
Design-Flow Graph Partitioning
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Specification and Formal Synthesis of Digital Circuits
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Challenges in the Design of a Scalable Data-Acquisition and Processing System-on-Silicon
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
| Hi-index | 0.00 |