Cookies
We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.
IEEE 1850-2005
IEEE Standard for Property Specification Language (PSL)
STANDARD published on 17.10.2005
The information about the standard:
Designation standards: IEEE 1850-2005
Publication date standards: 17.10.2005
SKU: NS-416143
Approximate weight : 300 g (0.66 lbs)
Country: International technical standard
Category: Technical standards IEEE
Annotation of standard text IEEE 1850-2005 :
New IEEE Standard - Superseded.
Replaced by 62531(E):2007. The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE St
ISBN: 978-0-7381-4780-2
Number of Pages: 143
Product Code: STDRE95377
Keywords: ABV, assertion, assertion-based verification, assumption, cover, model checking, property, PSL, specification, temporal logic, verification
Category: Design Automation
We recommend:
Updating of laws
Do you want to be sure about the validity of used regulations?
We offer you a solution so that you could use valid and updated legislative regulations.
Would you like to get more information? Look at this page.
