Functional verification based on the EFSM model

Authors:
F. Fummi;C. Marconcini;G. Pravadelli
Affiliations:
Dipt. di Informatica, Univ. di Verona, Italy;Dipt. di Informatica, Univ. di Verona, Italy;Dipt. di Informatica, Univ. di Verona, Italy
Venue:
HLDVT '04 Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
Year:
2004

Citing 0
Cited 3

An EFSM-based approach for functional ATPG

GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
EFSM Manipulation to Increase High-Level ATPG Effectiveness

ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The following topics are dealt with: formal verification; formal specification; processor-oriented validation; decision diagram; validation pattern generation; behavioral modeling; fault coverage analysis; SAT solving; network architecture validation; ...