Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou, Valeria Bertacco. AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs. In 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017. pages 45-50, IEEE, 2017. [doi]
Abstract is missing.