暂无分享,去创建一个
Li Lei | Fei Xie | Kai Cong | Zhenkun Yang
[1] Li Lei,et al. Validating direct memory access interfaces with conformance checking , 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[2] Li Lei,et al. Post-silicon conformance checking with virtual prototypes , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).
[3] Li Lei,et al. Symbolic Execution of Virtual Devices , 2013, 2013 13th International Conference on Quality Software.
[4] Li Lei,et al. Scalable certification framework for behavioral synthesis front-end , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
[5] Kai Cong. Post-silicon Functional Validation with Virtual Prototypes , 2015 .
[6] Li Lei,et al. Hardware/Software Interface Assurance with Conformance Checking , 2015 .
[7] Li Lei,et al. Optimizing post-silicon conformance checking , 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).
[8] Li Lei,et al. Automatic concolic test generation with virtual prototypes for post-silicon validation , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[9] Fei Xie,et al. Handling design and implementation optimizations in equivalence checking for behavioral synthesis , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).
[10] Li Lei,et al. Automatic fault injection for driver robustness testing , 2015, ISSTA.
[11] Li Lei,et al. Coverage evaluation of post-silicon validation tests with virtual prototypes , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).