第44回DACに出展していた、CLK Design Automation社のブースレポート。CLKは今回がDAC初出展となる新興EDAベンダで、設立は2004年、CEOはフォーマル検証ツール「Design VERIFYer」で知られていたChrysalis Symbolic Design社の元CEOIsadore Katz氏。（同社は…

SystemCというキーワードですっかり日本でもお馴染みとなったJEDA。シンプルな作りのブースでは、SystemCの検証環境「NSCv」と「NSCa」を展示していた。ブースで対応してくれた日本代理店エッチ・ディー・ラボの齋藤氏によると、今回のDACでは、「NSCv」の新…