Author : Clayton B. MacDonald
Publisher :
ISBN 13 :
Total Pages : 24 pages
Book Rating : 4.:/5 (468 download)
Book Synopsis Functional Verification of Delay-dependent Logic by : Clayton B. MacDonald
Download or read book Functional Verification of Delay-dependent Logic written by Clayton B. MacDonald and published by . This book was released on 1999 with total page 24 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Symbolic timing simulation is an extension of general symbolic simulation that properly accounts for continuous real-valued delays through logic stages. We have recently demonstrated the simulator SirSim, which is based on an Elmore delay model, in the timing verification of full-custom circuitry. However, due to the close interaction between functionality and timing in some circuits, a more advanced timing model may be required simply to model functional behavior. We present an introduction to symbolic timing simulation, discuss several delay-dependent circuit examples, and show results in SirSim versus those from the unit-delay symbolic simulator COSMOS."