Abstract
A new test generation technique for highly sequential circuits, utilizing functional models, with ability to produce tests for specific faults while avoiding races, is presented.

This publication has 6 references indexed in Scilit: