GalaxEC已具备当下各类主流等价性验证工具的所有核心功能，服务场景贯穿于数字芯片设计从系统级到前后端设计的各个阶段，可一站式满足用户全流程等价性验证需求，避免多工具切换成本，帮助工程师确保不同层次设计之间的一致性，支持遍历式验证，发现深层次的临界设计错误，确保设计的正确性并实现正式签核。
接下来播放
更多视频推荐
373观看
179观看
1216观看
298观看
254观看
238观看
1334观看