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

Christelle Hobeika Claude Thibeault Jean-François Boland

Published in: CoRR (2013)

Keyphrases

technical report
levels of abstraction
information systems
search algorithm
higher level
automatically extracted
data sets
real world
expert systems
soft constraints
penalty function