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

Yael Abarbanel, Eli Singerman, Moshe Y. Vardi. Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. In The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014. pages 1-4, ACM, 2014. [doi]

Authors

Yael Abarbanel

This author has not been identified. Look up 'Yael Abarbanel' in Google

Eli Singerman

This author has not been identified. Look up 'Eli Singerman' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google