Kai-hui Chang

[Chinese Version]

Personal Information:

  • My picture
  • Hometown: Tungshih, Taiwan
  • My favorite webpages(designed by me!): Hakka Cuisine, Introductions of Hakka Music, Hakka Clothing
  • This is where I live: Ellis Court Condo
  • My resume

    Skills:

    Languages:

  • Chinese(Madarin, Hakka, Holo, Cantonese)
  • English
  • Japanese

  • Computer:

  • Homepage design
  • Logo, Basic, Pascal, C, C++, Perl, Verilog, x86 Assembly language
  • Delphi and MFC programming
  • UNIX systems
  • Education:

  • Ph. D., University of Michigan at Ann Arbor, major in Computer Science and Engineering, advisors: Prof. Igor Markov, Prof. Valeria Bertacco
  • Master, Department of VLSI/CAD, Graduate Institute of Electrical Engineering, advisor: Prof. Sy-yen Kuo
  • Bachelor, National Taiwan University Department of Electrical Engineering, graduated at the 3rd place
  • Chien-kuo Senior High School
  • Tun-hwa Junior High School(Second and third grade)
  • Jen-ai Junior High School(First grade)
  • Jen-ai Elementary School
  • Experiences:

  • Avery Design Systems, Senior Technical Staff, 2008/1-present
  • University of Michigan, Post-Doctoral, 2007/9-2007/11
  • Avery Design Systems, project manager, 2003/7-2004/8
  • Avery Design Systems, software engineer, 2001/9-2003/6
  • ALi, summer intern, 1999/7-1999/9
  • Leader of computer department in NTU Hakka Club
  • Designer of Homepages of National Taiwan University Hakka Club
  • Leader of Information Club in Chien-kuo Senior High School
  • System operator of Fantastic Zone BBS

    Awards and Honors

  • ACM SIGDA Outstanding Dissertation Award (presented at DAC'09)
  • EDAA Outstanding Dissertation Award (presented at DATE'08)
  • 2nd place at ICCAD CADathlon, 2006, see EE Times and CADathlon website
  • 1st place at the Intl. Workshop on Logic and Synthesis (IWLS) Implementation Challenge, 2006, see EETimes
  • Participated in ICCAD CADathlon representing University of Michigan, 2004
  • Awarded in IC/CAD Programming Contest, Taiwan, 2000, 2001
  • Awarded in the Internet Creativity Contest, 1999, 2000
  • HP Homepage Contest 3rd place, 1998
  • Awarded in Homepage Contest held by Ministry of Education of Taiwan, 1997
  • 3rd place in the contest of information of Taiwan, 1995
  • 1st place in the contest of information of Taipei, 1994
  • New Zealand science fair exhibitor's award, 1994
  • Information Olympia camp of Taiwan, 1994
  • 1st place in the contest of Earth Science of Taiwan, 1994
  • 1st place in the contest of Earth Science of Taipei, 1993

    Scholarships

  • Presidential Award, 4 times in college
  • Lung-shan Temple Scholarship, 1997
  • Pan Wen-yuan Scholarship, 1996, 1998

    Publications

    In EDA

    Thesis

  • K.-H. Chang, "Functional Design Error Diagnosis, Correction and Layout Repair of Digital Circuits," Ph. D. Thesis, 2007 (Won EDAA Outstanding Dissertation Award at DATE'08 and ACM SIGDA Outstanding Dissertation Award at DAC'09)
  • K.-H. Chang, "A Compiled-code Technique for RTL Designs," M. S. Thesis, 2001

    Book

    1. K.-H. Chang, I. L. Markov, V. Bertacco, "Functional Design Errors in Digital Circuits: Diagnosis, Correction and Repair", Springer 2009. (ISBN: 978-1-4020-9364-7), Order from Amazon

    Journals

    1. K.-H. Chang, H.-Z. Chou, H. Yu, D. Dobbyn and S.-Y. Kuo, "Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again", IEEE Design and Test of Computers, to appear
    2. K.-H. Chang and C. Browy, "Parallel Logic Simulation -- A Myth or Reality?", IEEE Computer, vol. 45, no. 4, Apr. 2012, pp. 67-73
    3. K.-H. Chang, V. Bertacco, I. L. Markov and A. Mishchenko, "Logic Synthesis and Circuit Customization Using Extensive External Don't-Cares," ACM Transactions on Design Automation of Electronic Systems, Vol. 15, No. 3, Article 26, 2010
    4. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers", IEEE Trans. on Computer-Aided Design, Apr. 2010, pp. 646-651.
    5. K.-H. Chang, D. A. Papa, I. L. Markov, V. Bertacco, "InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization", IEEE Design and Test of Computers, vol. 26, no. 2, Mar 2009, pp. 34-43
    6. K.-H. Chang, I. L. Markov and V. Bertacco, "Automating Post-Silicon Debugging and Repair", IEEE Computer, vol. 41, no. 7, Jul. 2008, pp. 47-54.
    7. K.-H. Chang, I. L. Markov, V. Bertacco, "SafeResynth: A New Technique for Physical Synthesis", Integration: the VLSI Journal, Jul. 2008, pp. 544-556.
    8. K.-H. Chang, I. L. Markov, V. Bertacco, "Fixing Design Errors with Counterexamples and Resynthesis," IEEE Trans. on Computer-Aided Design, Jan. 2008, pp. 184-188.
    9. K.-H. Chang, I. L. Markov and V. Bertacco, "Post-placement Rewiring by Exhaustive Search for Functional Symmetries," ACM Transactions on Design Automation of Electronic Systems, Vol. 12, No. 3, Article 32, Aug. 2007.
    10. K.-H. Chang, V. Bertacco and I. L. Markov, "Simulation-based Bug Trace Minimization with BMC-based Refinement," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 26, NO. 1, Jan. 2007, pp. 152-165.

    Conferences with Proceedings

    1. K.-H. Chang, Y.-T. Liu and C. Browy, "Automated Methods for Eliminates X Bugs", Proc. Int'l Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, Mar 2014, pp. 597-603.
    2. K.-H. Chang, C.-W. Chang, J.-H. R. Jiang and C.-N. J. Liu, "Reducing Test Point Overhead Using Don't-Cares", IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), Boise, ID, Aug. 2012, pp. 534-537.
    3. K.-H. Chang, C.-W. Chang, J.-H. R. Jiang and C.-N. J. Liu, "Improving Design Verifiability by Early RTL Coverability Analysis", ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Arlington, VA, Jul. 2012, pp. 25-32.
    4. K.-H. Chang and C. Browy, "Improving Gate-level Simulation Accuracy when Unknowns Exist", Design Automation Conference (DAC), San Francisco, CA, Jun. 2012, pp. 936-940.
    5. K.-H. Chang, H.-Z. Chou and I. L. Markov, "RTL Analysis and Modifications for Improving At-speed Test", Proc. Design Autom. and Test in Europe (DATE), Dresden, Germany, March 2012, pp. 400-405. (Best Paper Award nominee)
    6. C.-N. Chung, C.-W. Chang, K.-H. Chang and S.-Y. Kuo, "Applying Verification Intention for Design Customization via Property Mining under Constrained Testbenches", ACM/IEEE Intl. Conf. Computer Design (ICCD), Amherst, MA, 2011, pp. 84-89.
    7. C.-W. Chang, H.-Z. Chou, K.-H. Chang, J.-H. R. Jiang, C.-N. J. Liu, C.-H. Hsiao and S.-Y. Kuo, "Constraint Generation for Software-Based Post-Silicon Bug Masking with Scalable Resynthesis Technique for Constraint Optimization", Proc. Int'l Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, Mar 2011, pp. 174-181.
    8. C.-N. Chung, C.-W. Chang, K.-H. Chang and S.-Y. Kuo, "Formal Reset Recovery Slack Calculation at the Register Transfer Level", Proc. Design Autom. and Test in Europe (DATE), Grenoble, France, Mar. 2011, pp. 571-574.
    9. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Facilitating Unreachable Code Diagnosis and Debugging", Proc. Asia and South Pacific Design Automation Conf. (ASPDAC), Yokohama, Japan, January 2011, pp. 485-490.
    10. H.-Z. Chou, H. Yu, K.-H. Chang, D. Dobbyn and S.-Y. Kuo, "Finding Reset Nondeterminism in RTL Designs -- Scalable X-Analysis Methodology and Case Study", Proc. Design Autom. and Test in Europe (DATE), Dresden, Germany, Mar. 2010, pp. 1494-1499
    11. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis", Proc. Asia and South Pacific Design Automation Conf. (ASPDAC), Taipei, Taiwan, January 2010, pp. 787-792.
    12. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Handling Don't-Care Conditions in High-Level Synthesis and Application for Reducing Initialized Registers", Design Automation Conference (DAC), San Francisco, CA, July 2009, pp. 412-415.
    13. H.-Z. Chou, I.-H. Lin, C.-S. Yang, K.-H. Chang and S.-Y. Kuo, "Enhancing Bug Hunting Using High-Level Symbolic Simulation", Great Lakes Symp. on VLSI (GLSVLSI), Boston, MA, May 2009, pp. 417-420.
    14. K.-H. Chang, V. Bertacco, I. L. Markov, "Customizing IP Cores for System-on-Chip Designs Using Extensive External Don't-Cares", Proc. Design Autom. and Test in Europe (DATE), Nice, France, April 2009, pp. 582-585.
    15. K.-H. Chang, I. L. Markov, and V. Bertacco, "Reap What You Sow: Spare Cells for Post-Silicon Metal Fix", Int'l Symposium on Physical Design (ISPD), Portland, OR, 2008, pp. 103-110.
    16. K.-H. Chang, I. Wagner, V. Bertacco, and I. L. Markov, "Automatic Error Diagnosis and Correction for RTL Designs", IEEE Int'l High Level Design Validation and Test Workshop (HLDVT), Irvine, CA, Nov. 2007, pp. 65-72.
    17. K.-H. Chang, I.L. Markov and V. Bertacco, "Automating Post-Silicon Debugging and Repair," Proc. Int'l Conf. on Computer-Aided Design (ICCAD), San Jose, CA, November 2007, pp. 91-98
    18. K.-H. Chang, D. A. Papa, I. L. Markov and V. Bertacco, "InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization", Proc. Int'l Symposium on Quality Electronic Design (ISQED) San Jose, CA, March 2007, pp. 487-492
    19. K.-H. Chang, I. L. Markov and V. Bertacco, "Safe Delay Optimization for Physical Synthesis", Proc. Asia and South Pacific Design Automation Conf. (ASPDAC), Yokohama, Japan, January 2007, pp. 628-633
    20. S. Plaza, K.-H. Chang, I. L. Markov and V. Bertacco, "Node Mergers in the Presence of Don't Cares", in Proc. Asia and South Pacific Design Automation Conf. (ASPDAC), Yokohama, Japan, January 2007, pp. 414-419
    21. K.-H. Chang, I. L. Markov and V. Bertacco, "Fixing Design Errors with Counterexamples and Resynthesis", in Proc. Asia and South Pacific Design Automation Conf. (ASPDAC), Yokohama, Japan, January 2007, pp. 944-949
    22. K.-H. Chang, I. L. Markov and V. Bertacco, "Post-Placement Rewiring and Rebuffering by Exhaustive Search For Functional Symmetries," Proc. Int'l Conf. Computer-Aided Design (ICCAD), 2005, pp. 56-63
    23. K.-H. Chang, V. Bertacco and I. L. Markov, "Simulation-based Bug Trace Minimization with BMC-based Refinement," Proc. Int'l Conf. Computer-Aided Design (ICCAD), 2005, pp. 1045-1051
    24. K.-H. Chang, J.-Y. Kang, H.-W. Wang, W.-T. Tu, Y.-J. Yeh and S.-Y. Kuo, "Automatic Partitioner for Behavior Level Distributed Logic Simulation," Proc. Int'l Conf. Formal Techniques for Networked and Distributed Systems (FORTE), Oct. 2005, Taipei, Taiwan, LNCS 3731, pp 525-528
    25. K.-H. Chang, W.-T. Tu, H.-W. Wang, Y.-J. Yeh, and S.-Y. Kuo, "Techniques to Reduce Synchronization in Distributed Parallel Logic Simulation," Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems(PDCS'04), November 2004, Cambridge, MA, USA
    26. K.-H. Chang, W.-T. Tu, Y.-J. Yeh, and S.-Y. Kuo, "A Temporal Assertion Extension to Verilog," Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA04), October 2004, Taipei, Taiwan, LNCS 3299, pp 499-504
    27. C.-C. Yu, K.-H. Chang, Y.-J. Yeh, and S.-Y. Kuo, "System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express," VLSI Design/CAD Symposium, Taiwan, 2004
    28. K.-H. Chang, H.-W. Wang, Y.-J. Yeh, and S.-Y. Kuo, "Automatic Partitioner for Distributed Parallel Logic Simulation," IASTED International Conference on Modelling, Simulation and Optimization(MSO'04), Kauai, Hawaii, USA, 2004
    29. K.-H. Chang, W.-T. Tu, Y.-J. Yeh, and S.-Y. Kuo, "A Tag-Augmented Temporal Logic Checker," VLSI Design/CAD Symposium, Taiwan, 2003
    30. K.-H. Chang, Y.-C. Su, W.-T. Tu, Y.-J. Yeh, and S.-Y. Kuo, "A PCI-X Verification Environment Using C and Verilog," VLSI Design/CAD Symposium, Taiwan, 2003
    31. Y.-J. Yeh, K.-H. Chang, M.-T. Chen, and S.-Y. Kuo, "Compiled-code Technique for RTL Designs," VLSI Design/CAD Symposium, Taiwan, 2001

    Conferences without Proceedings/Posters/Other

    1. K.-H. Chang, Y.-T. Liu and C. Browy, "Automated Method Eliminates X Bugs in RTL and Gates", Design Automation Conference (DAC), Austin, TX, Jun. 2013, Designer Track Poster
    2. K.-H. Chang, C.-W. Chang, J.-H. R. Jiang and C.-N. J. Liu, "Generating Local Test Point Activation Signals Using Controllability Don't-Cares", Int'l Workshop on Logic and Synthesis (IWLS), Berkeley, CA, 2012, pp. 180-184
    3. C.-N. Chung, C.-W. Chang, K.-H. Chang and S.-Y. Kuo, "Applying Verification Intention for Design Customization via Property Mining under Constrained Testbenches", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, 2011, pp. 123-128
    4. K.-H. Chang, C.-W. Chang, J.-H. R. Jiang and C.-N. J. Liu, "Improving Design Verifiability by Early RTL Coverability Analysis", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, 2011, pp. 183-188
    5. K.-H. Chang, H.-Z. Chou and I. L. Markov, "Improving Path Delay Testability at Early Design Stages", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, 2011, pp. 24-31
    6. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Automating Unreachable Code Diagnosis and Debugging", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Irvine, CA, 2010, pp. 117-123
    7. H.-Z. Chou, C.-W. Chang, K.-H. Chang and S.-Y. Kuo, "Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Irvine, CA, 2010, pp. 63-68
    8. H.-Z. Chou, K.-H. Chang and S.-Y. Kuo, "Achieving High Quality Verification at Early Design Phases via Native Symbolic Methodologies", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Berkeley, CA, 2009, pp. 50-55.
    9. K.-H. Chang, V. Bertacco, I. L. Markov, and A. Mishchenko, "Synthesis with External Don't-Cares Using Shannon Entropy and Craig Interpolation", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Lake Tahoe, CA, 2008
    10. K.-H. Chang, I. Wagner, V. Bertacco, and I. L. Markov, "Automatic Error Diagnosis and Correction for RTL Designs", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, May 2007, pp. 106-113.
    11. K.-H. Chang, I. L. Markov, and V. Bertacco, "Automating Post-Silicon Debugging and Repair", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, May 2007, pp. 114-121.
    12. K.-H. Chang, I. L. Markov, and V. Bertacco, "Fast Verification of Retiming", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), San Diego, CA, May 2007, pp. 165-166.
    13. K.-H. Chang, D. A. Papa, I. L. Markov and V. Bertacco, "Fast Simulation and Equivalence Checking Using OAGear", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Denver, CO, June 2006, pp. 270-271.
    14. K.-H. Chang, I. L. Markov and V. Bertacco, "Keeping Physical Synthesis Safe and Sound", ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Denver, CO, June 2006, pp. 86-93.
    15. K.-H. Chang, J.-Y. Kang, C.-L. Huang, J. P. Hayes and I. L. Markov, "Fast Test Simulation via Distributed Computing," Technical paper, Avery Design Systems, 2006
    16. K.-H. Chang, I. L. Markov and V. Bertacco, "Post-Placement Rewiring and Rebuffering by Exhaustive Search for Functional Symmetries," ACM/IEEE Int'l Workshop on Logic and Synthesis (IWLS), Lake Arrowhead, CA, June 2005, pp. 469-476.
    17. K.-H. Chang, W.-T. Tu, Y.-J. Yeh, and S.-Y. Kuo, "A Simulation-Based Temporal Assertion Checker for PSL," IEEE International Midwest Symposium on Circuits and Systems(MWSCAS'03), Cairo, Egypt, 2003

    Patents

    1. K.-H. Chang, Y.-T. Liu, C. Browy and C. Huang, "Methods for Tracing and Fixing Unknowns in Gate-level Simulation", United States Provisional Patent Application 61814833, Apr. 23, 2013
    2. K.-H. Chang, Y.-T. Liu, C. Browy and C. Huang, "System and Method for Correcting Gate-level Simulation When Unknowns Exist", United States Patent 8402405, Mar 19, 2013
    3. K.-H. Chang, I. Wagner, V. Bertacco, and I. L. Markov,"Automatic Error Diagnosis and Correction for RTL Designs", United States Patent 8365110, Jan. 29, 2013
    4. K.-H. Chang, C. Browy, Y.-T. Liu and C. Huang, "Methods for Biasing Logic Simulation toward Exposing Design Errors Masked by X-Optimism", United States Provisional Patent Application 61663164, Jun. 22, 2012

    In Lingustics/Computational Lingustics/Other

    Journals

    1. K.-H. Chang, J.-T. Fan, and S.-Y. Kuo, "Design and Implementation of Mandarin-to-Hakka Translation and Speech Synthesis System," Center for Hakka Studies Newsletter, issue 7, Hakka Research Center, National Central University, 2005, pp 152-168.
    2. K.-H. Chang, J.-T. Fan, and S.-Y. Kuo, "A Talking Browser," Journal of Internet Technology, July 2001, pp 171-176
    3. K.-H. Chang, "Relationship between Hakka, Mandarin and Japanese Kanji and Its Application," Journal of Taiwan Language and Language Education Vol. 2, National Hsin-chu Teachers College, 2000, pp 79-90
    4. K.-H. Chang, "Implementation and Analysis of Remote Home Appliances and Security System," Communications of IICM, June 1999
    5. K.-H. Chang, "The Way to Use Other Languages to Aid the Study of Hakka Dialect," Hakka Magazine, June 1999
    6. K.-H. Chang, "Hakka Diactionary and Hakka Input Method," Hakka Magazine, October 1997

    Professional Services

    Membership in Program Committees

  • ACM/IEEE Intl. Workshop on Logic and Synthesis (IWLS), since 2010
  • ACM/IEEE Intl. Conf. on Computer-Aided Design of Integrated Circuits (ICCAD), 2011

    Reviewing Panels

  • Review for journals: ACM Transactions on Design Automation, IEEE Transactions on Computers, IEEE Transactions on CAD, IEEE Transactions on Circuits and Systems II, IEEE Transactions on VLSI Systems
  • Review for conferences: ACM/IEEE Asia and South Pacific Design Automation Conf. (ASPDAC), ACM/IEEE Design Automation Conf. (DAC), International Symposium on Physical Design (ISPD), ACM/IEEE Intl. Conf. on Computer-Aided Design of Integrated Circuits (ICCAD)

    Ph. D. Committees

  • Hong-zu Chou, National Taiwan University, June 2010. Thesis title: ``Innovative Verification and Synthesis Techniques for Achieving High-Quality SoC Designs'' (pdf)
    Email address:changkh@umich.edu