[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Template-based synthesis of instruction-level abstractions for SoC verification
Subramanyan, Pramod, Vizel, Yakir, Ray, Sayak, Malik, SharadYear:
2015
Language:
english
DOI:
10.1109/fmcad.2015.7542266
File:
PDF, 1.49 MB
english, 2015