Wynik wyszukiwania
Zapytanie: ASSERTION
Liczba odnalezionych rekordów: 1



Przej¶cie do opcji zmiany formatu | Wy¶wietlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/1
Nr opisu: 0000062782
Tytuł oryginału: Strategia weryfikacji systemu na chipie oparta na mechaniĽmie FDL
Autorzy: Andrzej Pułka.
¬ródło: -Elektronika 2010 R. 51 nr 12, s. 87-90, bibliogr. 13 poz.
p-ISSN: 0033-2089
Słowa kluczowe polskie: weryfikacja formalna ; elektroniczny system wbudowany ; asercja ; SystemVerilog
Słowa kluczowe angielskie: formal verification ; electronic embedded system ; assertion ; SystemVerilog
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


stosuj±c format:
Nowe wyszukiwanie