Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).

Youngsik Kim Shekhar Kopuri Nazanin Mansouri Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD). 110-115 2004 conf/isqed/2004 ISQED http://csdl.computer.org/comp/proceedings/isqed/2004/2093/00/20930110abs.htm db/conf/isqed/isqed2004.html#KimKM04