Synopsys formal verification apprenticeship