Pro simulaci a syntézu je potřeba nainstalovat program Vivado od společnosti Xilinx, který je dostupný v 30-denní plnohodnotné zkušební verzi na stránkách:
https://www.xilinx.com/support/download.html

Pro práci bylo využito verze Vivado 2022.2.2, kompatibilita s jinými verzemi je očekávatelná, ale může dojít k naměření jiných výsledků,
pro které bych doporučil syntézu nejprve bez souborů constr.xdc, jelikož může být dosaženo jiného časování.

Při instalaci Vivada je vhodné také do programu přidat podporu pro desky z řady Virtex UltraScale+ a v nastavení projektu volit práci na zařízení xcvu7p_CIV-flvb2104-2-i,
na které byla implementace cílena. V nastavení syntézy je pak také potřeba do sekce More Options zadat: "-mode out_of_context"

Pro simulaci je mimo složky jednotlivých modelů uložen soubor Tb.vhd, jehož kostra byla vygenerována s pomocí stránky:
https://www.doulos.com/knowhow/perl/vhdl-testbench-creation-using-perl/
a nehlásím se tak k jejímu autorství. Soubor je zde pouze pro simulaci mých výstupů.

Složky s modely nesou vždy zdrojové soubory Main.vhd a Testwit.vhd
spolu s constr.xdc a constr.txt (pouze přepis obsahu .xdc do textového dokumentu) v případě, že se jedná o syntetizovatelný model.

Pro spuštění simulace jsou do projektu nahrány příslušné soubory Main.vhd, Testwit.vhd a simulační Tb.vhd upravený pro příslušný model (Úprava popsána v souboru).
Tb.vhd testuje celkem na 4 vstupy z nichž dva generují a dva negenerují prvočísla, jejich pořadí může být pro ověření přeházeno.

Vstup, co generuje prvočíslo začíná 2 libovolnými bity, co na výsledek nemají vliv (ovlivňují náhodně volené svědky)
a zbylých 158 bitů je vnitřních 158 bitů 160 bitového prvočísla (před a za těchto 158 bitů jsou doplněny '1')

Při úspěšné syntéze s přiloženými constrains si můžeme všimnout, že timing report udává Worst Negative Slack 0.00 ns
a model již nelze zrychlit nad hodnotu nastavenou v constrains. Zároveň žádné z hodnot nejdou do záporných čísel a tedy s tímto časováním nenastává kolize.


V případě zájmu o názorné předvedení práce, či jakýchkoliv doplňujících dotazů neváhejte mě kontaktovat emailem na adrese xwagne11@vutbr.cz