A bdd-based environment for formal verification of hardware systems

Authors:
Ramin Hojati;Robert K. Brayton
Affiliations:
-;-
Venue:
A bdd-based environment for formal verification of hardware systems
Year:
1996

Citing 0
Cited 3

Environment modeling and language universality

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Fair simulation

Information and Computation
Fair Equivalence Relations

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract