15:00 〜 17:00

[PS-5-07] Property-Driven Functional Verification Technique for High-Speed Vision System-on-Chip Processor

^○V. Nshunguyimfura¹, J. Yang¹, L. Liu¹, N. Wu¹ (1.Chinese Academy of Sciences(China))

https://doi.org/10.7567/SSDM.2016.PS-2-5-19