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 Standard for Property Specification Language (PSL)
STANDARD published on 17.10.2005
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
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
Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.
Would you like to know more? Look at this page.
Latest update: 2024-07-29 (Number of items: 2 339 192)
© Copyright 2024 NORMSERVIS s.r.o.