Author: Hai Zhou    
Paper Title Authors Year
CycSAT-unresolvable cyclic logic encryption using unreachable states Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou 2019
BeSAT: behavioral SAT-based attack on cyclic logic encryption Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou 2019
A comparative investigation of approximate attacks on logic encryptions Yuanqi Shen, Amin Rezaei, Hai Zhou 2018
An efficient algorithm for stencil planning and optimization in E-beam lithography Jiabei Ge, Changhao Yan, Hai Zhou, Dian Zhou, Xuan Zeng 2017
Network flow based cut redistribution and insertion for advanced 1D layout design Ye Zhang, Wai-Shing Luk, Fan Yang, Changhao Yan, Hai Zhou, Dian Zhou, Xuan Zeng 2017
Synthesis of resilient circuits from guarded atomic actions Yuankai Chen, Hai Zhou 2015
Layout decomposition co-optimization for hybrid e-beam and multiple patterning lithography Yunfeng Yang, Wai-Shing Luk, Hai Zhou, Changhao Yan, Xuan Zeng, Dian Zhou 2015
Buffer minimization in pipelined SDF scheduling on multi-core platforms Yuankai Chen, Hai Zhou 2012
Optimal prescribed-domain clock skew scheduling Li Li, Yinghai Lu, Hai Zhou 2012
Low power discrete voltage assignment under clock skew scheduling Li Li, Jian Sun, Yinghai Lu, Hai Zhou, Xuan Zeng 2011
Post-routing layer assignment for double patterning Jian Sun, Yinghai Lu, Hai Zhou, Xuan Zeng 2011
Parallel cross-layer optimization of high-level synthesis and physical design James Williamson, Yinghai Lu, Li Shang, Hai Zhou, Xuan Zeng 2011
A practical method for multi-domain clock skew optimization Yanling Zhi, Hai Zhou, Xuan Zeng 2011
iRetILP: an efficient incremental algorithm for min-period retiming under general delay model Debasish Das, Jia Wang, Hai Zhou 2010
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee 2009
Exploring adjacency in floorplanning Jia Wang, Hai Zhou 2009
Risk aversion min-period retiming under process variations Jia Wang, Hai Zhou 2009
Pessimism reduction in coupling-aware static timing analysis using timing and logic filtering Debasish Das, Kip Killpack, Chandramouli V. Kashyap, Abhijit Jas, Hai Zhou 2008
A dynamic-programming algorithm for reducing the energy consumption of pipelined System-Level streaming applications. Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee 2008
Fast Buffer Insertion for Yield Optimization Under Process Variations Ruiming Chen, Hai Zhou 2007
New Block-Based Statistical Timing Analysis Approaches Without Moment Matching Ruiming Chen, Hai Zhou 2007
Clock Skew Scheduling with Delay Padding for Prescribed Skew Domains Chuan Lin, Hai Zhou 2007
Retiming for Synchronous Data Flow Graphs Nikolaos D. Liveris, Chuan Lin, J. Wang, Hai Zhou, Prithviraj Banerjee 2007
Yield driven gate sizing for coupling-noise reduction under uncertainty Debjit Sinha, Hai Zhou 2005
Interconnect estimation without packing via ACG floorplans Jia Wang, Hai Zhou 2005
Deriving a new efficient algorithm for min-period retiming Hai Zhou 2005
Efficient octilinear Steiner tree construction based on spanning graphs Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang 2004
Interconnect-driven floorplanning by searching alternative packings Chiu-Wing Sham, Evangeline F. Y. Young, Hai Zhou 2003
Efficient minimum spanning tree construction without Delaunay triangulation Hai Zhou, Narendra V. Shenoy, William Nicholls 2001