Cheryl Harkness

According to our database, Cheryl Harkness authored at least 4 papers between 1989 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1994

Verifying the Summit Bus Converter Protocols with Symbolic Model Checking.

Cheryl Harkness, Elizabeth Wolf

Formal Methods Syst. Des., 1994

1992

Interval methods for modeling uncertainty in RC timing analysis.

Cheryl Harkness, Daniel P. Lopresti

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

1990

VLSI Placement Using Uncertain Costs.

Cheryl Harkness, Daniel P. Lopresti

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

1989

Modeling uncertainty in RC timing analysis.

Cheryl Harkness, Daniel P. Lopresti

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989