Efficient, sound formal verification for analog/mixed-signal circuits
<p> The increasing demand for smaller, more efficient circuits has created a need for both digital and analog designs to scale down. Digital technologies have been successful in meeting this challenge, but analog circuits have lagged behind due to smaller transistor sizes having a disproportio...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
The University of Utah
2016
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=10003590 |