Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Andrew N. Fisher
Latest
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
×