2011-10-19 アドバンテストが高位合成後のRTL解析にSpringSoftの「Verdi」を標準採用 http://www.eda-express.com/2011/10/springsoftverdi-2.html