Jie-Hong Roland Jiang
Jie-Hong Roland Jiang
Professor of Electrical Engineering, National Taiwan University
Dirección de correo verificada de ntu.edu.tw
TítuloCitado porAño
FRAIGs: A unifying representation for logic synthesis and verification
A Mishchenko, S Chatterjee, R Jiang, RK Brayton
ERL Technical Report, 2005
1252005
Unified QBF certification and its applications
V Balabanov, JHR Jiang
Formal Methods in System Design 41 (1), 45-65, 2012
1012012
Scalable don't-care-based logic optimization and resynthesis
A Mishchenko, R Brayton, JHR Jiang, S Jang
ACM Transactions on Reconfigurable Technology and Systems (TRETS) 4 (4), 1-23, 2011
682011
Mvsis
M Gao, JH Jiang, Y Jiang, Y Li, S Sinha, R Brayton
Proc. of the Intl. Workshop on Logic Synthesis, 2001
622001
Scalable exploration of functional dependency by interpolation and incremental SAT solving
CC Lee, JHR Jiang, CY Huang, A Mishchenko
2007 IEEE/ACM International Conference on Computer-Aided Design, 227-233, 2007
592007
QBF resolution systems and their proof complexities
V Balabanov, M Widl, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2014
512014
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
RR Lee, JHR Jiang, WL Hung
2008 45th ACM/IEEE Design Automation Conference, 636-641, 2008
482008
Interpolating functions from large Boolean relations
JHR Jiang, HP Lin, WL Hung
Proceedings of the 2009 International Conference on Computer-Aided Design …, 2009
412009
Optimization of Multi-Valued Multi-Level Networks
GJ Jiang, M Gao, J Jiang, Y Jiang, Y Li, A Mishchenko, S Sinha, T Villa, ...
41*2002
On the verification of sequential equivalence
JHR Jiang, RK Brayton
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
372003
Resolution proofs and Skolem functions in QBF evaluation and applications
V Balabanov, JHR Jiang
International Conference on Computer Aided Verification, 149-164, 2011
362011
Retiming and resynthesis: A complexity perspective
JHR Jiang, RK Brayton
IEEE transactions on computer-aided design of integrated circuits and …, 2006
362006
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
V Balabanov, HJK Chiang, JHR Jiang
Theoretical Computer Science 523, 86-100, 2014
352014
SAT-based logic optimization and resynthesis
RK Brayton, JHR Jiang, S Jang
Proc. of International Workshop on Logic Synthesis, 358-364, 2007
352007
A robust functional ECO engine by SAT proof minimization and interpolation techniques
BH Wu, CJ Yang, CY Huang, JHR Jiang
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 729-734, 2010
302010
To SAT or not to SAT: Ashenhurst decomposition in a large scale
HP Lin, JHR Jiang, RR Lee
2008 IEEE/ACM International Conference on Computer-Aided Design, 32-37, 2008
292008
Functional dependency for verification reduction
JHR Jiang, RK Brayton
International Conference on Computer Aided Verification, 268-280, 2004
272004
Efficient extraction of QBF (counter) models from long-distance resolution proofs
V Balabanov, JHR Jiang, M Janota, M Widl
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
262015
To SAT or not to SAT: Scalable exploration of functional dependency
JHR Jiang, CC Lee, A Mishchenko, CY Huang
IEEE Transactions on Computers 59 (4), 457-467, 2010
262010
Compatible class encoding in hyper-function decomposition for FPGA synthesis
JHR Jiang, JY Jou, JD Huang
Proceedings of the 35th annual Design Automation Conference, 712-717, 1998
261998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20