Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models

In recent years, the growth in compact electronic devices has been tremendous. Moore's law states that the number of transistors on integrated circuit chips has doubled every year since its invention. With a steady compression of circuits, the complexity has gone up, making the validation proce...

Full description

Saved in:
Bibliographic Details
Published in2017 25th International Conference on Systems Engineering (ICSEng) pp. 418 - 424
Main Authors Selvaraj, Henry, Wanjale, Nikita Ramesh
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2017
Subjects
Analog and Mixed-Signal Verification
Approximation algorithms
Computational modeling
DC Verification
Indexes
Integrated circuit modeling
Mathematical model
Satisfiability Solver
Solid modeling
Transient Verification
Online AccessGet full text

Cover

More Information
Summary:In recent years, the growth in compact electronic devices has been tremendous. Moore's law states that the number of transistors on integrated circuit chips has doubled every year since its invention. With a steady compression of circuits, the complexity has gone up, making the validation process vital. Automation tools have benefitted the EDA industry for circuit design, validation and testing for years. However, continuous nature of Analog and Mixed-Signal (AMS) circuits make them unsuitable for these tools. This work proposes two approaches, DC verification and transient analysis, using Satisfiability solvers on Discretized models of AMS circuits to increase the level of automation in the verification process. The run-time performance is tested on suitable examples and results are compared with existing approaches. The comparison demonstrates that the approach is a good balance between accuracy and run-time.
DOI:10.1109/ICSEng.2017.10