Cool Verification

I consider myself reasonably knowledgeable when it comes to the 'e' language, but a question from a reader a couple of weeks ago asked a question that I really had never thought too much about before.  He wanted to know what 'e' signified - in other words, what the heck does that letter 'e' mean?  Mike Stellfox from Cadence was kind enough (as usual) to provide the answer:

When Yoav (founder of Verisity and the main inventor of the e language), came up with “e”, his idea was “English minus minus” (as opposed to C++).  The idea was to create a language that would allow verification engineers to more concisely describe their verification environment in a more English-like and declarative way.  It might be arguable how “English-like” e really is, but you probably get the idea of the analogy when you consider how declarative the language is in the following areas:

• Declarative constraints
• Declarative coverage
• Declarative temporals

Thanks Mike, and thanks to the reader who asked the question!