Sciweavers

DDECS
2007
IEEE
133views Hardware» more  DDECS 2007»
14 years 1 months ago
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...