Experience with ADAM synthesis system
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Manipulating logical organization with system factorizations
Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
CHOP: A constraint-driven system-level partitioner
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Specification partitioning for system design
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
A formal HDL and its use in the FM9001 verification
Mechanized reasoning and hardware design
The system architect's workbench
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Synthesis of Digital Design from Recursive Equations
Synthesis of Digital Design from Recursive Equations
Toward a Basis for Protocol Specification and Process Decomposition
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
DDD-FM9001: Derivation of a Verified Microprocessor
CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A design representation for high level synthesis
EURO-DAC '90 Proceedings of the conference on European design automation
HDL optimization using timed decision tables
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Limited exception modeling and its use in presynthesis optimizations
DAC '97 Proceedings of the 34th annual Design Automation Conference
An algorithm to determine mutually exclusive operations in behavioral descriptions
Proceedings of the conference on Design, automation and test in Europe
| Hi-index | 0.00 |