MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Hao Zheng" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

An Asynchronous Implementation Of The Maxlist Algorithm
by Chris Myers, Hao Zheng — 1997 — in International Conferences on Acoustics, Speech, and Signal Processing
…AN ASYNCHRONOUS IMPLEMENTATION OF THE MAXLIST ALGORITHM Chris J. Myers Hao Zheng Electrical…
Cited by 1 (1 self) – Add To MetaCart

Design and Implementation of a True Random Number Generator Based on
by Michael Epstein, Laszlo Hars, Raymond Krasinski, Hao Zheng — 2003 — Cryptographic Hardware and Embedded Systems - CHES 2003, Lecture Notes in Computer Science
… Michael Epstein 1 , Laszlo Hars 2 , Raymond Krasinski 1 ,MartinRosner 3 , Hao Zheng 4 1 Philips…
Cited by 8 (0 self) – Add To MetaCart

Modular Verification of Timed Circuits using Automatic Abstraction
by Hao Zheng, Eric Mercer, Chris Myers — 2003 — IEEE Transactions on Computer-Aided Design
…Modular Verification of Timed Circuits Using Automatic Abstraction Hao Zheng, Eric Mercer, Member…
Cited by 7 (3 self) – Add To MetaCart

Automatic Abstraction for Verification of Timed Circuits and Systems
by Hao Zheng, Eric Mercer, Chris Myers — 2001
…Automatic Abstraction for Verication of Timed Circuits and Systems ? Hao Zheng, Eric Mercer…
Cited by 2 (1 self) – Add To MetaCart

A Compositional Approach to Asynchronous Design Verification with Automated State Space Reduction
by Jared Ahrens, Major Professor, Hao Zheng, Ph. D, Srinivas Katkoori — 2007
… of Engineering University of South Florida Major Professor: Hao Zheng, Ph.D. Srinivas Katkoori, Ph.D. Dewey…
Add To MetaCart

Test Application Time Reduction for Scan Based Sequential Circuits"
by Hao Zheng, Kewal K. Saluja, Rajiv Jain
…Test Application Time Reduction for Scan Based Sequential Circuits" Hao Zheng, Kewal K. Saluja…
Add To MetaCart

Architectural Synthesis of Timed Asynchronous Systems
by Brandon M. Bachman, Hao Zheng, Chris J. Myers — 1999 — In Proc. International Conf. Computer Design (ICCD
… Computer Systems Lab Cupertino, CA bachman@(email omitted); Hao Zheng & Chris J. Myers University of Utah…
Cited by 6 (0 self) – Add To MetaCart

Verification of timed circuits with failure directed abstractions
by Hao Zheng, Chris J. Myers, Senior Member, David Walter, Student Member, Scott Little, Tomohiro Yoneda — 2003 — In 21st International Conference on Computer Design (ICCD
…Verification of Timed Circuits with Failure Directed Abstractions Hao Zheng, Member, IEEE, Chris J…
Cited by 4 (1 self) – Add To MetaCart

Timed circuits: A new paradigm for high-speed design
by Chris J. Myers, Wendy Belluomini, Kip Killpack, Eric Mercer, Eric Peskin, Hao Zheng — 2001 — in Proc. of Asia and South Pacific Design Automation Conference
… Killpack Eric Mercer Eric Peskin Hao Zheng Department of Electrical Engineering University of Utah Salt…
Cited by 11 (8 self) – Add To MetaCart

Modular Synthesis And Verification Of Timed Circuits Using Automatic Abstraction
by Hao Zheng, Reid R. Harrison, Christian Schlegel, Erik Brunvand, Ganesh Gopalakrishnan, Date Chris, J. Myers, V. John Mathews
…MODULAR SYNTHESIS AND VERIFICATION OF TIMED CIRCUITS USING AUTOMATIC ABSTRACTION by Hao Zheng A…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB