Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
LEMA
Contributors
Zhen Zhang
Utah State University, Assistant Professor
David Walter
Amazon (AWS S3), Senior SDE
Scott Little
Maxim Integrated, EDA
Andrew Fisher
Dhanashree Kulkarni
Intel Technologies, Analog Engineer
Satish Batchu
Apple, Design Verification Engineer
Kevin Jones
Lockheed Martin, Senior Cyber Applied Research Scientist
Publications
Invited: Advances in formal methods for the design of analog/mixed-signal systems
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits
A new assertion property language for analog/mixed-signal circuits
Improved Model Generation and Property Specification for Analog/Mixed-Signal Circuits
Cite
×