ASCII.jp：SoC技術論 開発期間に大きく影響する検証とデバッグ (2/3)｜ロードマップでわかる！当世プロセッサー事情米Quickturn社，２億ゲート規模を想定した論理検証環境を発売 | 日経 xTECH（クロステック）Palladium XP Verification Computing Serieshtt…