Lukáš Charvát: Automatická verifikace při souběžném vývoji HW/SW

Prezentace představuje metodu pro automatickou verifikaci procesorů. Metoda si klade za cíl ověřit ekvivalenci návrhů procesorů z různě abstraktních modelů. Zaměřuje se zejména na procesory se zřetězeným zpracováním instrukcí. Budou prezentovány dosažené výsledky za poslední rok a nástin budoucího postupu.