LEMA

LEMA

Contributors

Avatar

Zhen Zhang

Utah State University, Assistant Professor

Avatar

David Walter

Amazon (AWS S3), Senior SDE

Avatar

Scott Little

Maxim Integrated, EDA

Avatar

Dhanashree Kulkarni

Intel Technologies, Analog Engineer

Avatar

Satish Batchu

Apple, Design Verification Engineer

Avatar

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