- Tytuł:
- Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy
- Autorzy:
-
Szelest, M.
Izydorczyk, J.
Niemiec, H.
Jabłeka, M. - Data publikacji:
- 2013
- Słowa kluczowe:
-
reguły projektowe
weryfikacja formalna
design rule checking
electrical rule checking
formal verification - Pokaż więcej
- Dostawca treści:
- BazTech