Constraint-based test pattern generation at the Register-Transfer Level.

Taavi Viilukas, Jaan Raik, Maksim Jenihhin, Raimund Ubar, Anna Krivenko

Browse the full DDECS paper archive.