State enumeration with abstract descriptions of state machines

Authors:
Francisco Corella;Michel Langevin;Eduard Cerny;Z. Zhou;Xiaoyu Song
Affiliations:
-;-;-;-;-
Venue:
CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Year:
1995

Citing 0
Cited 3

Techniques for verifying superscalar microprocessors

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Automatic structuring and optimization of hierarchical designs

EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Auxiliary variables for BDD-based representation and manipulation of Boolean functions

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.01

Visualization

Abstract