11:54 〜 11:57 [PS-5-07] Property-Driven Functional Verification Technique for High-Speed Vision System-on-Chip Processor ○V. Nshunguyimfura1, J. Yang1, L. Liu1, N. Wu1 (1.Chinese Academy of Sciences(China))
