( en | de | ru )

 

Disambiguierung von "Chang, Kai-Hui"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair

, , und . Lecture Notes in Electrical Engineering Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kai Hui

Hui-tang Chang

Jen-Hui Chang

Yung-Hui Chang

Kai-Chin Chang

 

Weitere Publikationen von Autoren mit dem selben Namen

Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (4): 646-651 (2010)Fixing Design Errors with Counterexamples and Resynthesis., , und . ASP-DAC, Seite 944-949. IEEE Computer Society, (2007)InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization., , , und . ISQED, Seite 487-494. IEEE Computer Society, (2007)Scalable sequence-constrained retention register minimization in power gating design., , , und . DAC, Seite 130:1-130:6. ACM, (2015)Path controllability analysis for high quality designs., , , , und . ASP-DAC, Seite 687-692. ACM, (2019)Facilitating unreachable code diagnosis and debugging., , und . ASP-DAC, Seite 485-490. IEEE, (2011)Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again., , , , und . IEEE Des. Test, 33 (6): 63-71 (2016)Functional design error diagnosis, correction and layout repair of digital circuits.. University of Michigan, USA, (2007)Formal reset recovery slack calculation at the register transfer level., , , und . DATE, Seite 571-574. IEEE, (2011)Automatic Partitioner for Behavior Level Distributed Logic Simulation., , , , , und . FORTE, Volume 3731 von Lecture Notes in Computer Science, Seite 525-528. Springer, (2005)