He-Teng Zhang

According to our database, He-Teng Zhang authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

SAT-Based On-Track Bus Routing.

He-Teng Zhang, Masahiro Fujita, Chung-Kuan Cheng, Jie-Hong R. Jiang

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

A Circuit-Based SAT Solver for Logic Synthesis.

He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Deep Integration of Circuit Simulator and SAT Solver.

He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amarù, Alan Mishchenko, Robert K. Brayton

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

SFO: A Scalable Approach to Fanout-Bounded Logic Synthesis for Emerging Technologies.

He-Teng Zhang, Jie-Hong R. Jiang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2018

Cost-aware patch generation for multi-target function rectification of engineering change orders.

He-Teng Zhang, Jie-Hong R. Jiang

Proceedings of the 55th Annual Design Automation Conference, 2018