Jean-François Boland

Learn More
 We proposed in [1] an automatic functional constraint extractor that can be applied on the RT level. These functional constraints are used to generate pseudo functional test patterns with ATPG tools. The patterns are then used to improve the verification process. This technical report complements the work proposed in [1] as it contains the implementation(More)
  • 1