Cheryl Harkness

Verifying the summit bus converter protocols with symbolic model checking

Cheryl Harkness, Elizabeth Wolf, 1994, Formal Methods Syst. Des..

Interval methods for modeling uncertainty in RC timing analysis

Daniel P. Lopresti, Cheryl Harkness, D. Lopresti, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Modeling uncertainty in RC timing analysis

Daniel P. Lopresti, Cheryl Harkness, D. Lopresti, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

VLSI placement using uncertain costs

Daniel P. Lopresti, Cheryl Harkness, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.