Cookies
Potřebujeme váš souhlas k využití jednotlivých dat, aby se vám mimo jiné mohly ukazovat informace týkající se vašich zájmů. Souhlas udělíte kliknutím na tlačítko „OK“.
IEEE 1850-2005
IEEE Standard for Property Specification Language (PSL)
Automaticky přeložený název:
IEEE Standard majetku Specifikace Language ( PSL )
NORMA vydána dne 17.10.2005
Informace o normě:
Označení normy: IEEE 1850-2005
Datum vydání normy: 17.10.2005
Kód zboží: NS-416143
Přibližná hmotnost: 300 g (0.66 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy IEEE
Anotace textu normy 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
Doporučujeme:
