2 search results - page 1 / 1 » Behavioral Verification of an ATM Switch Fabric using Implic... |
66
Voted
ICCD
1996
IEEE
15 years 3 months ago
1996
IEEE
101
click to vote
JSA
2008
14 years 10 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...