Verification Engineerの戯言 EDA Express(http://www.eda-express.com/news/?m=p&idno=975)でレポートしている メンター社のフォーマル検証セミナーに行きました。 Harry Foster氏のお話は、Verplex、Jasperの時には何度かありましたが、 Mentorになってか…