Publication | Closed Access
An accuration delay modeling technique for switch-level timing verification
27
Citations
6
References
1986
Year
Time Delay SystemElectrical EngineeringEngineeringCircuit DesignClock RecoveryTiming AnalysisVerificationSwitch-level Timing VerificationComputer EngineeringProcess ControlFormal MethodsSystems EngineeringCrystal Timing AnalyzerAccurate Timing VerificationTimed SystemAccurate Delay AnalysisDigital Circuit DesignFormal Verification
A new delay modeling technique for accurate timing verification of digital MOS circuits is presented. The technique is based on the ELogic approach and provides the user with a continuous speed-accuracy trade-off in addition to more accurate timing information than available with existing switch-level timing verifiers. The new technique has been implemented in the Crystal timing analyzer and experimental results comparing this method with those used in Crystal are included. Comparisons indicate that the ELogic-based approach, while slower than present approaches, provides a more robust and more accurate delay analysis at the switch level.
| Year | Citations | |
|---|---|---|
Page 1
Page 1