Design for Verifiability

Authors:
George J. Milne
Affiliations:
-
Venue:
Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects
Year:
1989

Citing 0
Cited 2

Improving hardware designs whilst simplifying their proof

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
The BDD Space Complexity of Different Forms of Concurrency

Fundamenta Informaticae - Application of Concurrency to System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract