Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance.

Sonal Pinto, Michael S. Hsiao

Browse the full ICCD paper archive.