Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DAC2010でも話題になったZocalo Tech。 今回は、Zocalo TechのWHITE PAPERを読みました。 ENABLING ASSERTION BASED VERIFICATION(18ページ…