update tests

update tests
update verification

update golden model and defines.sv