Verification with Abstract State Machines Using MDGs

Authors:
Eduard Cerny;Francisco Corella;Michel Langevin;Xiaoyu Song;Sofiène Tahar;Z. Zhou
Affiliations:
-;-;-;-;-;-
Venue:
Formal Hardware Verification - Methods and Systems in Comparison
Year:
1997

Term ordering problem on MDG

Proceedings of the 12th ACM Great Lakes symposium on VLSI
Formal verification of ASMs using MDGs

Journal of Systems Architecture: the EUROMICRO Journal
Minimization of multiway decision graphs for RTL verification by stochastic optimization

CSECS'06 Proceedings of the 5th WSEAS International Conference on Circuits, Systems, Electronics, Control & Signal Processing
Interfacing ASM with the MDG tool

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Abstract property language for MDG model checking methodology

International Journal of Computer Applications in Technology

Hi-index	0.00