ladeni celeho verification core - upravy v program driveru, uprava libsze_write_program - poslani vstupniho programu dvakrat hned za sebou