Potrebujeme váš súhlas na využitie jednotlivých dát, aby sa vám okrem iného mohli ukazovať informácie týkajúce sa vašich záujmov. Súhlas udelíte kliknutím na tlačidlo „OK“.
IEEE Standard for Property Specification Language (PSL)
Automaticky preložený názov:
IEEE Standard majetku Špecifikácia Language ( PSL )
NORMA vydaná dňa 17.10.2005
Označenie normy: IEEE 1850-2005
Dátum vydania normy: 17.10.2005
Kód tovaru: NS-416143
Približná hmotnosť: 300 g (0.66 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy 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
Posledná aktualizácia: 2024-07-29 (Počet položiek: 2 339 192)
© Copyright 2024 NORMSERVIS s.r.o.