Verification Engineerの戯言 : SystemVerilogの世界へようこそ EDA Expressの新興EDAベンダNextOpがアサーション自動生成ツール「BugScope」をリリースによると、RTLのデザインとテストベンチから機能検証用のアサーションと機能カバレッジのプロパティを自…