Die Norm IEEE 1850-2005 17.10.2005 Ansicht

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


Sprache
Realisierung
ZugänglichkeitAUF LAGER
Preis314.70 ohne MWS
314.70

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

Empfehlungen:

Aktualisierung der Gesetze

Wollen Sie sich sicher sein, dass Sie nur die gültigen technischen Vorschriften verwenden?
Wir bieten Ihnen Lösungen, damit Sie immer nur die gültigen (aktuellen) legislativen Vorschriften verwenden könnten.
Brauchen Sie mehr Informationen? Sehen Sie sich diese Seite an.




Cookies 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.

Sie können die Zustimmung verweigern hier.

Hier können Sie Ihre Cookie-Einstellungen nach Ihren Wünschen anpassen.

Wir benötigen Ihre Einwilligung zur Verwendung der einzelnen Daten, damit Sie unter anderem Informationen zu Ihren Interessen einsehen können.