The Accellera Property Specification Language (PSL), a language for formal specification of electronic system behavior, was developed by Accellera, a consortium of Electronic Design Automation (EDA), semiconductor, and system companies. The proposed project will create an initial IEEE standard based upon Accellera PSL version 1.1. The IEEE standard will refine Accellera PSL version 1.1, addressing errata and a few minor technical issues and clarifying how PSL interfaces with various standard electronic system design languages.
Existing Standards Created by this Working Group
Working Group Participants
Your web administrator or Working Group Chair can request an update to the information on this page. The IEEE Standards Association also offers free web hosting for Working Groups, as well as Professional Services to support your activities.
Did You Know?
The IEEE-SA offers companion services to help expedite standards development. View Case Studies.