Clayton B. McDonald

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 0

Top Topics

Computationally Expensive

Genetic Algorithm

Top Venues

Publications

Clayton B. McDonald, Hsinwei Chou, Vijay Durairaj, Pey-Chang Kent Lin
Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States. ICCAD (2015)
Clayton B. McDonald, Randal E. Bryant
A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells. ICCAD (2001)
Clayton B. McDonald, Randal E. Bryant
CMOS circuit verification with symbolic switch-level timingsimulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20 (3) (2001)
Clayton B. McDonald, Randal E. Bryant
Computing Logic-Stage Delays Using Circuit Simulation and Symbolic Elmore Analysis. DAC (2001)
Clayton B. McDonald, Randal E. Bryant
Symbolic timing simulation using cluster scheduling. DAC (2000)
Clayton B. McDonald, Randal E. Bryant
Symbolic functional and timing verification of transistor-level circuits. ICCAD (1999)