Concepedia

Gary York

GY

Statistics

Publications

5

Citations

124

H-Index

5

Active since

1985

Affiliations

Cadence Design Systems (United States)(Current)

Lawrence Berkeley National Laboratory

University of California, Berkeley

Gary York is an author at Cadence Design Systems (United States) specializing in engineering, software analysis, and computer engineering.

Top concepts

Publications per year

1985–2002

5

Publications

5

Dynamic variable reordering for BDD minimization

Eric Felt, Gary York, Robert K. Brayton et al. · 2002 · 48 citations

, , +22

New techniques for efficient verification with implicitly conjoined BDDs

Alan J. Hu, Gary York, David L. Dill · 1994 · 42 citations · Full text

Compiling Verilog into timed finite state machines

Szu-Tsung Cheng, Robert K. Brayton, Gary York et al. · 2002 · 14 citations

Fault Recovery of Triplicated Software on the Intel iAPX 432.

Xiao-Zong Yang, Gary York, William P. Birmingham et al. · International Conference on Distributed Computing Systems · 1985 · 10 citations

, , +10

An integrated environment for HDL verification

Gary York, R.B. Mueller-Thuns, Janakkumar B. Patel et al. · 2002 · 10 citations

1–5 of 5