Home > Functional Verification

Products:

Formal Verification
e/SV development env.

e/SV development env.

's DVT is an Integrated Development Environment which comes in 2 flavors: eDT for the e verification language and VlogDT for the SystemVerilog language. A single unified window combines the editor with the syntax checker, linter, class browser, revision control and other useful tools, and enables fast and smart code development, both for beginners and complex maintenance.

DVT’s main features are:
  • Errors are signaled as you type
  • Auto-complete
  • Advanced search and code navigation
  • Easy task tracking with TODO annotations in comments
  • Integrated revision control (CVS, ClearCase, Subversion etc.)
  • Integrated documentation (ex. tooltips or class browsing)
  • Linting
  • Code formatting
  • Code templates for commonly used constructs
  • OVM Compliance Review
For more information please click here:
Products And Solutions Services Support About Satris Contact Us