Illegal state extraction from Register Transfer Level
Christelle Hobeika, Claude Thibeault, Jean François Boland · 2010
In this paper we present a new automated tool for illegal state identification at Register Transfer Level (RTL). This tool is the cornerstone of a new methodology for functional constraints extraction, to be applied in the ATPG process. Results show that our tool helps reducing overtesting and false error detection during verification.