Certified Timing Verification and the Transition Delay of a Logic Circuit

Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang. Certified Timing Verification and the Transition Delay of a Logic Circuit. In DAC. pages 549-555, 1992. [doi]

Authors

Srinivas Devadas

This author has not been identified. Look up 'Srinivas Devadas' in Google

Kurt Keutzer

This author has not been identified. Look up 'Kurt Keutzer' in Google

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google

Albert Wang

This author has not been identified. Look up 'Albert Wang' in Google