research
∙
07/17/2022
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Correctness and robustness are essential for logic synthesis application...
research
∙
09/01/2021
Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits
The adiabatic quantum-flux parametron (AQFP) is a promising energy-effic...
research
∙
07/06/2020