Cookies
Wir benötigen Ihre Einwilligung zur Verwendung der einzelnen Daten, damit Sie unter anderem Informationen zu Ihren Interessen einsehen können. Klicken Sie auf "OK", um Ihre Zustimmung zu erteilen.
IEEE 1850-2005
IEEE Standard for Property Specification Language (PSL)
Automatische name übersetzung:
IEEE-Standard für Property Specification Language (PSL)
NORM herausgegeben am 17.10.2005
Informationen über die Norm:
Bezeichnung normen: IEEE 1850-2005
Ausgabedatum normen: 17.10.2005
SKU: NS-416143
Gewicht ca.: 300 g (0.66 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen IEEE
Die Annotation des Normtextes 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
