Detail semináře

Seminář UPSY - Iša R.: Ověřování korektní funkce HW komponent generovaných ze specifikace v jazyce P4

SUPSY

Místo konání
L314, CZ
Pořadatel
Typ
seminář
Přístupnost
volná
Popis

V prezentaci představím téma své dizertační práce, která se zabývá automatizací funkční verifikace obvodů vygenerovaných překladačem jazyka P4. Prezentace je konkrétně zaměřena na funkčí verifikaci komponenty, která slouží pro parsování vstupních paketů. Představím navržený paketový generátor řízený na základě programu napsaném v jazyce P4. V závěru nastíním plány na využití genetických algoritmů pro generování vstupních paketů tak, aby bylo dosaženo maximálního pokrytí P4 kódu v co nejkratším simulačním čase.

Nahoru