Pei-Hsin Ho

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 4

Top Topics

Related Problems

Boolean Functions

Optimization Approaches

Top Venues

Publications

Ruiyao Pu, Yiwei Sun, Pei-Hsin Ho, Fan Yang, Li Shang, Xuan Zeng
Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System. ICCAD (2023)
Yu-Hsuan Su, Richard Sun, Pei-Hsin Ho
2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique. ICCAD (2019)
Wei-Ting Jonas Chan, Pei-Hsin Ho, Andrew B. Kahng, Prashant Saxena
Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning. ISPD (2017)
Pei-Hsin Ho
Interesting Problems in Physical Synthesis. ISPD (2017)
Stephen M. Plaza, Prashant Saxena, Thomas R. Shiple, Pei-Hsin Ho
Multi-mode redundancy removal. ISQED (2011)
Jin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang
GPU friendly fast Poisson solver for structured power grid network analysis. DAC (2009)
Pei-Hsin Ho
Industrial clock design. ISPD (2009)
Prashant Saxena, Vishal Khandelwal, Changge Qiao, Pei-Hsin Ho, J.-C. Lin, Mahesh A. Iyer
On improving optimization effectiveness in interconnect-driven physical synthesis. ISPD (2009)
Wenting Hou, Dick Liu, Pei-Hsin Ho
Automatic register banking for low-power clock trees. ISQED (2009)
Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho
Techniques for Effective Distributed Physical Synthesis. DAC (2007)
Yu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Chieh Chang, Pei-Hsin Ho
Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure. ISQED (2007)
Freddy Y. C. Mang, Pei-Hsin Ho
Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. Int. J. Found. Comput. Sci. 17 (4) (2006)
Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang
Power-aware placement. DAC (2005)
Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. ASP-DAC (2005)
Freddy Y. C. Mang, Pei-Hsin Ho
Abstraction refinement by controllability and cooperativeness analysis. DAC (2004)
Pei-Hsin Ho
Abstraction Refinement. ATVA (2004)
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC (2001)
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD (2000)
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
Coverage Estimation for Symbolic Model Checking. DAC (1999)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43 (4) (1998)
Pei-Hsin Ho, Adrian J. Isles, Timothy Kam
Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD (1998)
Gerard J. Chang, Pei-Hsin Ho
The ß-assignment problem in general graphs. Comput. Oper. Res. 24 (8) (1997)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. CAV (1997)
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD (1996)
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22 (3) (1996)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HyTech: The Next Generation. RTSS (1995)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
A User Guide to HyTech. TACAS (1995)
Thomas A. Henzinger, Pei-Hsin Ho
Algorithmic Analysis of Nonlinear Hybrid Systems. CAV (1995)
Pei-Hsin Ho, Howard Wong-Toi
Automated Analysis of an Audio Control Protocol. CAV (1995)
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138 (1) (1995)
Thomas A. Henzinger, Pei-Hsin Ho
A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems (1994)
Thomas A. Henzinger, Pei-Hsin Ho
HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems (1994)
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
Automatic Symbolic Verification of Embedded Systems. RTSS (1993)
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems (1992)
Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang
The Domatic Number Problem in Interval Graphs. SIAM J. Discret. Math. 3 (4) (1990)