Design for verifiability

Authors:
George J. Milne
Affiliations:
-
Venue:
Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
Year:
1990

Citing 0
Cited 2

The BDD space complexity of different forms of concurrency

Fundamenta Informaticae - Application of concurrency to system design
Fractal Coherence: Scalably Verifiable Cache Coherence

MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture

Quantified Score

Hi-index	0.00

Visualization

Abstract