3 search results - page 1 / 1 » Formal Verification of an ATM Switch Fabric using Multiway D... |
GLVLSI
1996
IEEE
13 years 9 months ago
1996
IEEE
JSA
2008
13 years 4 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...
CIIA
2009
13 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...