Constraint-Based Hierarchical Untestability Identification for Synchronous Sequential Circuits.

Jaan Raik, Anna Rannaste, Maksim Jenihhin, Taavi Viilukas, Raimund Ubar, Hideo Fujiwara

Browse the full ETS paper archive.