Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Andrew Fisher
University of Utah
Interests
Integrated Circuit Design
Formal Verification
Education
PhD in Electrical and Computer Engineering, 2015
University of Utah
Contributed To
Analog Circuit Design and Verification
LEMA
Publications
Efficient, Sound Formal Verification for Analog/Mixed-Signal Circuits
Reachability Analysis Using Extremal Rates
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits
A new assertion property language for analog/mixed-signal circuits
Cite
×
