Branch guided functional test generation at the RTL.

Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao

Browse the full ETS paper archive.