Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration.
Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2025
Latency Insensitivity Testing for Dataflow HLS Designs.
Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2025
Corvus: Efficient HW/SW Co-Verification Framework for RISC-V Instruction Extensions with FPGA Acceleration.
Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025
Hassert: Hardware Assertion-Based Verification Framework with FPGA Acceleration.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
Functional Verification for Agile Processor Development: A Case for Workflow Integration.
,
,
,
,
,
,
,
,
,
,
,
,
J. Comput. Sci. Technol., July, 2023
ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration.
Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2023
Towards Developing High Performance RISC-V Processors Using Agile Methodology.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
Increasing Flexibility of Cloud FPGA Virtualization.
Proceedings of the 32nd International Conference on Field-Programmable Logic and Applications, 2022
Imprecise Datapath Design: An Overclocking Approach.
ACM Trans. Reconfigurable Technol. Syst., 2015
Delay Test for Diagnosis of Power Switches.
IEEE Trans. Very Large Scale Integr. Syst., 2014
Combining grey systems theory and entropy method to evaluate the organizational health.
Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014
Efficient FPGA implementation of digit parallel online arithmetic operators.
Proceedings of the 2014 International Conference on Field-Programmable Technology, 2014
Datapath Synthesis for Overclocking: Online Arithmetic for Latency-Accuracy Trade-offs.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Overclocking datapath for latency-error tradeoff.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013
Accuracy-Performance Tradeoffs on an FPGA through Overclocking.
Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013
The Influence Factors and Mechanism of Societal Risk Perception.
Proceedings of the Complex Sciences, 2009