Cheryl Harkness

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

3 Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods in System Design 4(2): 83-97 (1994)

1992

2 Cheryl Harkness, Daniel P. Lopresti: Interval methods for modeling uncertainty in RC timing analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 11(11): 1388-1401 (1992)

1990

1 Cheryl Harkness, Daniel P. Lopresti: VLSI Placement Using Uncertain Costs. ICCAD 1990: 340-343

	1994
3		Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods in System Design 4(2): 83-97 (1994)
	1992
2		Cheryl Harkness, Daniel P. Lopresti: Interval methods for modeling uncertainty in RC timing analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 11(11): 1388-1401 (1992)
	1990
1		Cheryl Harkness, Daniel P. Lopresti: VLSI Placement Using Uncertain Costs. ICCAD 1990: 340-343

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page