Technical report: Functional Constraint Extraction From Register Transfer Level for ATPG

Christelle Hobeika, Claude Thibeault, Jean-François Boland

We proposed in "Functional Constraint Extraction From Register Transfer Level for ATPG" that is currently submitted to TVLSI, an automatic functional constraint extractor that can…