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]
@inproceedings{AbarbanelSV14,
title = {Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions},
author = {Yael Abarbanel and Eli Singerman and Moshe Y. Vardi},
year = {2014},
doi = {10.1145/2593069.2596692},
url = {http://doi.acm.org/10.1145/2593069.2596692},
researchr = {https://researchr.org/publication/AbarbanelSV14},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014},
publisher = {ACM},
isbn = {978-1-4503-2730-5},
}