共 10 条
- [2] A new RTL debugging methodology in FPGA-based verification platform PROCEEDINGS OF 2004 IEEE ASIA-PACIFIC CONFERENCE ON ADVANCED SYSTEM INTEGRATED CIRCUITS, 2004, : 180 - 183
- [3] Clustering-based Failure Triage for RTL Regression Debugging 2014 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2014,
- [5] Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool Electronic Proceedings in Theoretical Computer Science, EPTCS, 2022, 361 : 79 - 88
- [6] Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (361): : 79 - 88
- [7] Autoencoder-based Semi-Supervised Curriculum Learning For Out-of-domain Speaker Verification INTERSPEECH 2019, 2019, : 4360 - 4364
- [10] Scan-chain based watch-points for efficient run-time debugging and verification of FPGA designs ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 705 - 711