Functional Testing and Constrained Synthesis of Sequential Architectures.

Giacomo Buonanno Franco Fummi Donatella Sciuto Functional Testing and Constrained Synthesis of Sequential Architectures. 1523-1526 1993 ISCAS db/conf/iscas/iscas1993-3.html#BuonannoFS93