SBIR Phase I: Analog/Mixed-Signal Integrated Circuit Verification Coverage

SBIR 第一阶段：模拟/混合信号集成电路验证覆盖范围

• 批准号: 1248944
• 负责人: Michael Krasnicki
• 金额: $ 15万
• 依托单位: Zipalog, Inc.
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-01-01 至 2013-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1248944&HistoricalAwards=false
• 关键词: SBIR; Phase; Analog; Mixed; Signal

This Small Business Innovation Research (SBIR) Phase I project proposes an analog verification coverage system. Today well-accepted formal and simulation-based techniques exist to capture and measure test coverage for digital integrated circuits, but there is no corresponding commercial capability for analog integrated circuits. Analog designers frequently spend much time analyzing and over-testing system behavior for a small set of well understood usage scenarios while leaving significant portions of the state-space completely untested. The design exploration problem for analog circuits presents critical challenges for implementing such a system due to the inherently large design space typical of analog circuits. The proposed innovative solution addresses this issue by determining the design space of relevance for a specific circuit and then assessing the completeness of exploration for that identified area. A prototype set of instruments will be delivered that measure coverage during analog/mixed-signal simulations. The proposed product will automatically parse the design netlist, add the instrumentation, run the user's existing simulator, analyze the output from the instrumentation, save data to a database, and build a coverage profile. This capability provides improved productivity and quality of results by eliminating redundant simulations and identifying areas of the design space that have not been sufficiently tested.The broader impact/commercial potential of this project is to improve the competitiveness of U.S. semiconductor industry by improving the quality of A/MS design verification, improving first pass design success and reducing time-to-market. The complexity of A/MS ASIC design has aggressively followed Moore's law, but innovations in design verification have not. More importantly the ideas being developed through this project have broader implications for complex systems that cross the boundaries between multiple domains and do not conform well to the highly constrained verification methods used for digital circuits. Multiple domain verification problems include integrated circuits used in combination with micro-electromechanical or opto-electronic devices, integrated circuits that are utilized in complex environments such as biomedical applications, as well as integrated circuits that are delivered in innovative forms rather than traditional packages where the verification of the entire delivery system is critical. Examples would include chips mounted directly on flexible substrates or contained within multi-chip modules that may include stacked die. To enable broad accessibility to small businesses as well as dispersed efforts such as geographically distributed design teams or research efforts, this capability can be delivered through an on-demand verification infrastructure being developed as part of an earlier project.

这个小型企业创新研究（SBIR）第一阶段项目提出了一个模拟验证覆盖系统。 今天，存在被广泛接受的形式化和基于仿真的技术来捕获和测量数字集成电路的测试覆盖率，但是对于模拟集成电路没有相应的商业能力。模拟设计人员经常花费大量时间分析和过度测试系统行为，用于一小部分已充分理解的使用场景，而状态空间的大部分完全未测试。 由于模拟电路固有的大设计空间，模拟电路的设计探索问题对实现这样的系统提出了关键挑战。 所提出的创新解决方案通过确定与特定电路相关的设计空间，然后评估该识别区域的勘探完整性来解决这个问题。将提供一套原型仪器，用于测量模拟/混合信号模拟期间的覆盖范围。 所提出的产品将自动解析设计网表，添加仪器，运行用户现有的模拟器，分析仪器的输出，将数据保存到数据库，并建立覆盖范围。 通过消除冗余模拟和识别设计空间中尚未充分测试的区域，该能力可提高生产率和结果质量。该项目的更广泛影响/商业潜力是通过提高A/MS设计验证的质量、提高首次通过设计成功率和缩短上市时间来提高美国半导体行业的竞争力。 A/MS ASIC设计的复杂性已经严格遵循摩尔定律，但设计验证方面的创新却没有。 更重要的是，通过该项目开发的想法对跨越多个域之间的边界的复杂系统具有更广泛的影响，并且不符合用于数字电路的高度约束的验证方法。 多域验证问题包括与微机电或光电子器件结合使用的集成电路，在复杂环境中使用的集成电路，如生物医学应用，以及以创新形式而不是传统封装交付的集成电路，其中整个交付系统的验证是至关重要的。 示例将包括直接安装在柔性基板上或包含在可包括堆叠管芯的多芯片模块内的芯片。为了使小企业以及分散的工作（如地理上分散的设计团队或研究工作）能够广泛访问，可以通过作为早期项目的一部分开发的按需验证基础设施来提供这种能力。