Pei-Hsin Ho

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