ESL Enhancement Proposals

Welcome to the Elephant Specification Language Enhancement Proposal section. Here you will find all modifications and enhancements that have been made to ESL over the course of time.

Finalized proposals:

• ESL0001 - Behavior requirements and constraints

Accepted proposals:

• ESL0002 - Relation syntax modification
• ESL0003 - Units
• ESL0004 - Removing the end keyword
• ESL0005 - Design rule literal syntax extension
• ESL0006 - Domains
• ESL0007 - Function traceability

Draft proposals:

• ESL0008 - Documentation comment tags

Appendix A - Syntax definition ESL0001 - Behavior requirements and constraints