• 2008 Citations
19962020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2019

An Efficient FPGA-based Floating Random Walk Solver for Capacitance Extraction using SDAccel

Wei, X., Yan, C., Zhou, H., Zhou, D. & Zeng, X., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1040-1045 6 p. 8714992. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A RRAM-based coarse grain reconfigurable array for neural network accelerators

Chen, Z., Zhou, H. & Gu, J., Feb 11 2019, 2018 IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference, S3S 2018. Institute of Electrical and Electronics Engineers Inc., 8640182. (2018 IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference, S3S 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

BESAT: Behavioral SAT-based attack on cyclic logic encryption

Shen, Y., Li, Y., Rezaei, A., Kong, S., Dlott, D. & Zhou, H., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 657-662 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

CellScope: Automatically Specifying and Verifying Cellular Network Protocols

Yu, Y., Li, Y., Hou, K., Chen, Y., Zhou, H. & Yang, J., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 21-23 3 p. (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

CyCsat-unresolvable cyclic logic encryption using unreachable states

Rezaei, A., Li, Y., Shen, Y., Kong, S. & Zhou, H., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 394-399 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Digital compatible synthesis, placement and implementation of mixed-signal time-domain computing

Chen, Z., Zhou, H. & Gu, J., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a67. (Proceedings - Design Automation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

R-Accelerator: A Reconfigurable Accelerator with RRAM Based Logic Contraction and Resource Optimization for Application Specific Computing

Chen, Z., Zhou, H. & Gu, J., Jan 16 2019, Proceedings - 2018 IEEE 36th International Conference on Computer Design, ICCD 2018. Institute of Electrical and Electronics Engineers Inc., p. 163-170 8 p. 8615684. (Proceedings - 2018 IEEE 36th International Conference on Computer Design, ICCD 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Resolving the trilemma in logic encryption

Zhou, H., Rezaei, A. & Shen, Y., Nov 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2019 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., 8942076. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2019-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SigAttack: New High-level SAT-based Attack on Logic Encryptions

Shen, Y., Li, Y., Kong, S., Rezaei, A. & Zhou, H., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 940-943 4 p. 8714924. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

A comparative investigation of approximate attacks on logic encryptions

Shen, Y., Rezaei, A. & Zhou, H., Feb 20 2018, ASP-DAC 2018 - 23rd Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 271-276 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

A novel N-retry transactional memory model for multi-thread programming

Lu, K., Yan, C., Zhou, H., Zhou, D. & Zeng, X., May 25 2018, Proceedings - 15th IEEE International Symposium on Parallel and Distributed Processing with Applications and 16th IEEE International Conference on Ubiquitous Computing and Communications, ISPA/IUCC 2017. Martinez, G., Hill, R., Fox, G., Mueller, P. & Wang, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 814-821 8 p. (Proceedings - 15th IEEE International Symposium on Parallel and Distributed Processing with Applications and 16th IEEE International Conference on Ubiquitous Computing and Communications, ISPA/IUCC 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cyclic locking and memristor-based obfuscation against CycSAT and inside foundry attacks

Rezaei, A., Shen, Y., Kong, S., Gu, J. & Zhou, H., Apr 19 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 85-90 6 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

SAT-based bit-flipping attack on logic encryptions

Shen, Y., Rezaei, A. & Zhou, H., Apr 19 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 629-632 4 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations
2017

An efficient algorithm for stencil planning and optimization in E-Beam lithography

Ge, J., Yan, C., Zhou, H., Zhou, D. & Zeng, X., Feb 16 2017, 2017 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017. Institute of Electrical and Electronics Engineers Inc., p. 366-371 6 p. 7858350. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

CycSAT: SAT-based attack on cyclic logic encryptions

Zhou, H., Jiang, R. & Kong, S., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 49-56 8 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

34 Scopus citations

Double DIP: Re-evaluating security of logic encryption algorithms

Shen, Y. & Zhou, H., May 10 2017, GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017. Association for Computing Machinery, p. 179-184 6 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI; vol. Part F127756).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

42 Scopus citations

Memristor-Based Clock Design and Optimization with In-Situ Tunability

Kong, S., Gu, J. & Zhou, H., Jul 20 2017, Proceedings - 2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017. Reis, R., Stan, M., Huebner, M. & Voros, N. (eds.). IEEE Computer Society, p. 427-432 6 p. 7987557. (Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI; vol. 2017-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Multi-objective Task Mapping Approach for Wireless NoC in Dark Silicon Age

Rezaei, A., Zhao, D., Daneshtalab, M. & Zhou, H., Apr 26 2017, Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017. Institute of Electrical and Electronics Engineers Inc., p. 589-592 4 p. 7912708. (Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Network flow based cut redistribution and insertion for advanced 1D layout design

Zhang, Y., Luk, W. S., Yang, F., Yan, C., Zhou, H., Zhou, D. & Zeng, X., Feb 16 2017, 2017 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017. Institute of Electrical and Electronics Engineers Inc., p. 360-365 6 p. 7858349. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Using security invariant to verify confidentiality in hardware design

Kong, S., Shen, Y. & Zhou, H., May 10 2017, GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017. Association for Computing Machinery, p. 487-490 4 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI; vol. Part F127756).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Layout decomposition co-optimization for hybrid e-beam and multiple patterning lithography

Yang, Y., Luk, W. S., Zhou, H., Yan, C., Zeng, X. & Zhou, D., Mar 11 2015, 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015. Institute of Electrical and Electronics Engineers Inc., p. 652-657 6 p. 7059082. (20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

On error modeling and analysis of approximate adders

Li, L. & Zhou, H., Jan 5 2015, 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers. January ed. Institute of Electrical and Electronics Engineers Inc., p. 511-518 8 p. 7001399. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Synthesis of resilient circuits from guarded atomic actions

Chen, Y. & Zhou, H., Jan 1 2015, 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015. Institute of Electrical and Electronics Engineers Inc., p. 550-555 6 p. 7059064

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

On Error Modeling and Analysis of Approximate Adders

Li, L. & Zhou, H., 2014, Proceedings of the Institute of Electrical and Electronics Engineers (IEEE) and Association for Computer Machinery International Conference on Computer-Aided Design (IEEE/ACM ICCAD).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recovery-based resilient latency-insensitive systems

Chen, Y., Zeng, X. & Zhou, H., Jan 1 2014, Proceedings - Design, Automation and Test in Europe, DATE 2014. Institute of Electrical and Electronics Engineers Inc., 6800317. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Layout decomposition with pairwise coloring for multiple patterning lithography

Zhang, Y., Luk, W. S., Zhou, H., Yan, C. & Zeng, X., Dec 1 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2013 - Digest of Technical Papers. p. 170-177 8 p. 6691115

Research output: Chapter in Book/Report/Conference proceedingConference contribution

39 Scopus citations

Resource-constrained high-level datapath optimization in ASIP design

Chen, Y. & Zhou, H., Oct 21 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. p. 198-201 4 p. 6513500. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Retiming for soft error minimization under error-latching window constraints

Lu, Y. & Zhou, H., Oct 21 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. p. 1008-1013 6 p. 6513656. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Structural transformation for best-possible obfuscation of sequential circuits

Li, L. & Zhou, H., Sep 16 2013, Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2013. p. 55-60 6 p. 6581566. (Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations
2012

Buffer minimization in pipelined SDF scheduling on multi-core platforms

Chen, Y. & Zhou, H., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 127-132 6 p. 6164932

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Clock skew scheduling for timing speculation

Ye, R., Yuan, F., Zhou, H. & Xu, Q., May 24 2012, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012. p. 929-934 6 p. 6176630

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Optimal prescribed-domain clock skew scheduling

Li, L., Lu, Y. & Zhou, H., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 523-527 5 p. 6165008. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations
2011

An efficient algorithm for multi-domain clock skew scheduling

Zhi, Y., Luk, W. S., Zhou, H., Yan, C., Zhu, H. & Zeng, X., May 31 2011, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2011. p. 1364-1369 6 p. 5763220

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

A practical method for multi-domain clock skew optimization

Zhi, Y., Zhou, H. & Zeng, X., Mar 28 2011, 2011 16th Asia and South Pacific Design Automation Conference, ASP-DAC 2011. p. 521-526 6 p. 5722245. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Integrated circuit white space redistribution for temperature optimization

Chen, Y., Zhou, H. & Dick, R. P., May 31 2011, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2011. p. 613-618 6 p. 5763101

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Low power discrete voltage assignment under clock skew scheduling

Li, L., Sun, J., Lu, Y., Zhou, H. & Zeng, X., Mar 28 2011, 2011 16th Asia and South Pacific Design Automation Conference, ASP-DAC 2011. p. 515-520 6 p. 5722244. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Optimal multi-domain clock skew scheduling

Li, L., Lu, Y. & Zhou, H., Sep 16 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011. p. 152-157 6 p. 5981710. (Proceedings - Design Automation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Parallel cross-layer optimization of high-level synthesis and physical design

Williamson, J., Lu, Y., Shang, L., Zhou, H. & Zeng, X., Mar 28 2011, 2011 16th Asia and South Pacific Design Automation Conference, ASP-DAC 2011. p. 467-472 6 p. 5722235

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Post-routing layer assignment for double patterning

Sun, J., Lu, Y., Zhou, H. & Zeng, X., Mar 28 2011, 2011 16th Asia and South Pacific Design Automation Conference, ASP-DAC 2011. p. 793-798 6 p. 5722298. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations
2010

Hybrid energy storage system integration for vehicles

Wang, J., Li, K., Lv, Q., Zhou, H. & Shang, L., Oct 21 2010, ISLPED'10 - Proceedings of the 16th ACM/IEEE International Symposium on Low-Power Electronics and Design. p. 369-374 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

iRetILP: An efficient incremental algorithm for min-period retiming under general delay model

Das, D., Wang, J. & Zhou, H., Apr 28 2010, 2010 15th Asia and South Pacific Design Automation Conference, ASP-DAC 2010. p. 61-67 7 p. 5419917

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Sequential Pricing on Social Networks

Ha, B. & Zhou, H., 2010, Conference of Chinese Game Theory and Experimental Economics Association.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009

Binning optimization based on SSTA for transparently-latched circuits

Gong, M., Zhou, H., Tao, J. & Zeng, X., Dec 1 2009, Proceedings of the 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers, ICCAD 2009. p. 328-335 8 p. 5361271

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis

Liveris, N., Zhou, H. & Banerjee, P., Apr 20 2009, Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009. p. 636-641 6 p. 4796552. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Exception triggered DoS attacks on wireless networks

Zhao, Y., Vemuri, S., Chen, J., Chen, Y., Zhou, H. & Fu, Z., Nov 25 2009, Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. p. 13-22 10 p. 5270358. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Exploring adjacency in floorplanning

Wang, J. & Zhou, H., Apr 20 2009, Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009. p. 367-372 6 p. 4796508

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Multicore parallel min-cost flow algorithm for CAD applications

Lu, Y., Zhou, H., Shang, L. & Zeng, X., Nov 10 2009, 2009 46th ACM/IEEE Design Automation Conference, DAC 2009. p. 832-837 6 p. 5227041. (Proceedings - Design Automation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Provably good and practically efficient algorithms for CMP dummy fill

Chunyang, F., Hai, Z., Changhao, Y., Jun, T. & Xuan, Z., Nov 10 2009, 2009 46th ACM/IEEE Design Automation Conference, DAC 2009. p. 539-544 6 p. 5227058. (Proceedings - Design Automation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Retiming and resynthesis with sweep are complete for sequential transformation

Zhou, H., Dec 7 2009, 9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009. p. 192-197 6 p. 5351122

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Risk Aversion Min-Period Retiming under Process Variations

Wang, J. & Zhou, H., 2009, ACM Asia South-Pacific Design Automation Conference.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations