Directed Symbolic Execution for VLSI Circuits.

Biswajit Bhowmik, Jatindra Kumar Deka, Santosh Biswas

Browse the full SMC paper archive.