静态分析 Static Analysis 类型: 概念 | 引用论文数: 2 相关论文 - 使用Magellan验证挑战性处理器内核 - 使用SpyGlass进行静态分析:应对SoC设计日益增长的复杂性