He-Teng Zhang

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Target Function

Emerging Technologies

Logic Synthesis

Boolean Satisfiability

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

He-Teng Zhang, Masahiro Fujita, Chung-Kuan Cheng, Jie-Hong R. Jiang
SAT-Based On-Track Bus Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (4) (2021)
He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amarù, Alan Mishchenko, Robert K. Brayton
Deep Integration of Circuit Simulator and SAT Solver. DAC (2021)
He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko
A Circuit-Based SAT Solver for Logic Synthesis. ICCAD (2021)
He-Teng Zhang, Jie-Hong R. Jiang
SFO: A Scalable Approach to Fanout-Bounded Logic Synthesis for Emerging Technologies. DAC (2020)
He-Teng Zhang, Jie-Hong R. Jiang
Cost-aware patch generation for multi-target function rectification of engineering change orders. DAC (2018)