Huan Chen

According to our database, Huan Chen authored at least 8 papers between 2009 and 2013.

Collaborative distances:

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

2013

A Two-Variable Model for SAT-Based ATPG.

Huan Chen, João Marques-Silva

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

Core minimization in SAT-based abstraction.

Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva

Proceedings of the Design, Automation and Test in Europe, 2013

2012

TG-Pro: A SAT-based ATPG System.

Huan Chen, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2012

New & improved models for SAT-based bi-decomposition.

Huan Chen, João Marques-Silva

Proceedings of the Great Lakes Symposium on VLSI 2012, 2012

QBf-based boolean function bi-decomposition.

Huan Chen, Mikolás Janota, João Marques-Silva

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Improvements to satisfiability-based boolean function bi-decomposition.

Huan Chen, João Marques-Silva

Proceedings of the IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, 2011

2009

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.

Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva

Proceedings of the International Conference on Embedded Software and Systems, 2009

TG-PRO: A new model for SAT-based ATPG.

Huan Chen, João Marques-Silva

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009