The LEMA tool is for the formal verification of analog and mixed-signal circuits.

• Before installing LEMA, check that the following are installed on your system:
  • Java Runtime Environment Version 1.5 or higher
  • Graphviz
• LEMA Version 2.0 (Linux)
• LEMA Version 2.0 (Windows)
• LEMA Version 2.0 (MacOS)
• Report an issue