Proof-aided design of verified hardware

Authors:
Holger Busch;Gerd Venzl
Affiliations:
Siemens AG, Corporate Research and Development, Otto-Hahn-Ring 6, 8000 Munich 83, FRG;Siemens AG, Corporate Research and Development, Otto-Hahn-Ring 6, 8000 Munich 83, FRG
Venue:
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Year:
1991

Citing 3
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Functional verification of MOS circuits

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM

Model checking in industrial hardware design

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract