Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.

Farzan Fallah, Srinivas Devadas, Kurt Keutzer

Browse the full DAC paper archive.