A framework for fast test generation at the RTL.

Kelson Gent, Akash Agrawal, Michael S. Hsiao

Browse the full VTS paper archive.