@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 日経のTech Onからの小島さんの記事、 「世界で１社だけ」、フォーマル検証総合サービスのOski社に聞くから。 ユーザー事例では、NVIDIAとCisco。 NVIDI…