Publication | Closed Access
<tex>$rm Mpi rm log$</tex>, Macromodeling Via Parametric Identification of Logic Gates
99
Citations
11
References
2004
Year
Via Parametric IdentificationOutput BuffersEngineeringComputer-aided VerificationModel CheckingPower ElectronicsFormal VerificationParametric Identification ApproachSystems EngineeringModeling And SimulationLogic GatesCircuit AnalysisDevice ModelingElectrical EngineeringNonlinear CircuitFormal ModelingComputer EngineeringComputer ScienceAutomated ReasoningNonlinear Parametric ModelsFormal MethodsDigital Circuit DesignSymbolic ExecutionCircuit Simulation
This paper addresses the development of computational models of digital integrated circuit input and output buffers via the identification of nonlinear parametric models. The obtained models run in standard circuit simulation environments, offer improved accuracy and good numerical efficiency, and do not disclose information on the structure of the modeled devices. The paper reviews the basics of the parametric identification approach and illustrates its most recent extensions to handle temperature and supply voltage variations as well as power supply ports and tristate devices.
| Year | Citations | |
|---|---|---|
Page 1
Page 1