Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.

Yael Abarbanel, Eli Singerman, Moshe Y. Vardi

Browse the full DAC paper archive.