- Tytuł:
- Strategia weryfikacji systemu na chipie oparta na mechaniźmie FDL
- Autorzy:
- Pułka, A.
- Data publikacji:
- 2010
- Słowa kluczowe:
-
elektroniczne systemy wbudowane
weryfikacja formalna
przetwarzanie informacji niepełnej i niepewnej
asercja
SystemVerilog
electronic embedded systems
formal verification
incomplete and imprecise information handling
assertions - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł