Verification Engineerの戯言 Janickさんが「SNUG San Jose 2000」で発表した論文が「OpenVera」のサイトにあります。 「Exploiting the Power of Vera:Creating Useful Class Libraries」 http://www.open-vera.com/technical/bergeron.pdf 論文の中のVera…