Invited: specification and modeling for systems-on-chip security verification
Publication Year
2016
Type
Conference Paper
Conference Name
Design Automation Conference (DAC), 2016 53nd ACM/EDAC/IEEE
Publisher
IEEE