Huan Chen
AuthID: R-00H-88C
1
TITLE: A Two-Variable Model for SAT-Based ATPG Full Text
AUTHORS: Chen, H; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, ISSUE: 12
AUTHORS: Chen, H; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, ISSUE: 12
2
TITLE: QBf-based Boolean function bi-decomposition PDF
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
INDEXED IN: 
Scopus 
DBLP 
arXiv
Scopus DBLP arXiv3
TITLE: New & improved models for SAT-based bi-decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
4
TITLE: QBF-Based Boolean Function Bi-Decomposition
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXED IN: 
WOS DBLP
WOS DBLP5
TITLE: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
6
TITLE: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
7
TITLE: TG-PRO: A new model for SAT-based ATPG
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2009, SOURCE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2009, SOURCE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
