Pei-Hsin Ho

Proceedings of the International Conference on Computer-Aided Design, 2019

2017

Interesting Problems in Physical Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Physical Design, 2017

Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Physical Design, 2017

2011

Multi-mode redundancy removal.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

2009

Automatic register banking for low-power clock trees.

[BibT_eX]

[DOI]

Wenting Hou

Dick Liu

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

On improving optimization effectiveness in interconnect-driven physical synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Symposium on Physical Design, 2009

Industrial clock design.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Symposium on Physical Design, 2009

GPU friendly fast Poisson solver for structured power grid network analysis.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

2007

Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007

Techniques for Effective Distributed Physical Synthesis.

[BibT_eX]

[DOI]

Freddy Y. C. Mang

Wenting Hou

Proceedings of the 44th Design Automation Conference, 2007

2006

Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement.

[BibT_eX]

[DOI]

Freddy Y. C. Mang

Int. J. Found. Comput. Sci., 2006

2005

Power-aware placement.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

Supporting sequential assumptions in hybrid verification.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Abstraction refinement by controllability and cooperativeness analysis.

[BibT_eX]

[DOI]

Freddy Y. C. Mang

Proceedings of the 41th Design Automation Conference, 2004

Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

2000

Smart Simulation Using Collaborative Formal and Simulation Engines.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

Coverage Estimation for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

1998

Algorithmic analysis of nonlinear hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

Formal verification of pipeline control using controlled token nets and abstract interpretation.

[BibT_eX]

[DOI]

Adrian J. Isles

Timothy Kam

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

HYTECH: A Model Checker for Hybrid Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1997

The ß-assignment problem in general graphs.

[BibT_eX]

[DOI]

Gerard J. Chang

Comput. Oper. Res., 1997

1996

Automatic Symbolic Verification of Embedded Systems.

[BibT_eX]

[DOI]

Rajeev Alur

IEEE Trans. Software Eng., 1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Automatic Analysis of Hybrid Systems.

[BibT_eX]

PhD thesis, 1995

The Algorithmic Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

A User Guide to HyTech.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

HyTech: The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Automated Analysis of an Audio Control Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 1995

Algorithmic Analysis of Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 1995

1994

HYTECH: The Cornell HYbrid TECHnology Tool.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems II, 1994

A Note on Abstract Interpretation Strategies for Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems II, 1994

1992

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems, 1992

1990

The Domatic Number Problem in Interval Graphs.

[BibT_eX]

[DOI]

Tung-Lin Lu