Return to Article Details DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES Download Download PDF