Cheryl Harkness

Publication Activity (10 Years)

Years Active: 1989-1994
Publications (10 Years): 0

Publications

Cheryl Harkness, Elizabeth Wolf
Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods Syst. Des. 4 (2) (1994)
Cheryl Harkness, Daniel P. Lopresti
Interval methods for modeling uncertainty in RC timing analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 (11) (1992)
Cheryl Harkness, Daniel P. Lopresti
VLSI Placement Using Uncertain Costs. ICCAD (1990)
Cheryl Harkness, Daniel P. Lopresti
Modeling uncertainty in RC timing analysis. ICCAD (1989)