semiconductor design verification program