Test pattern generation for sequential MOS circuits by symbolic fault simulation.

Autor: Cho, K., Bryant, R. E.
Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; Jun1989, p418-423, 6p
Databáze: Complementary Index