| 基于功能信息的验证工程学过程模型研究 |
| |
| 引用本文： | 张多利 高明伦 李丽 程作仁. 基于功能信息的验证工程学过程模型研究[J]. 微电子学与计算机, 2005, 22(10): 147-151 |
| |
| 作者姓名： | 张多利 高明伦 李丽 程作仁 |
| |
| 作者单位： | [1]合肥工业大学微电子设计研究所,安徽合肥230009 [2]南京大学微电子设计研究所,江苏南京230091 |
| |
| 基金项目： | 国家自然科学基金项目（60373076,90307011） |
| |
| 摘 要： | 针对当前集成电路功能验证面临的问题，通过引入32程学思想，研究了集成电路功能验证的32程学问题。以功能验证的过程模型为研究对象．在已有过程模型的基础上，提出了一种全新的功能验证过程模型——基于功能信息的验证32程学过程模型．并讨论了模型中的若干具体问题。该模型在提高验证并行度和促进验证重用等方面有积极意义。
|
| 关 键 词： | 功能验证 工程学 功能信息 过程模型 |
| 文章编号： | 1000-7180（2005）10-147-05 |
| 收稿时间： | 2005-02-01 |
| 修稿时间： | 2005-02-01 |
Study of the Process Model of Functional Information Based Verification Engineering |
| |
| ZHANG Duo-li, GAO Ming-lun, LI Li, CHENG Zuo-ren. Study of the Process Model of Functional Information Based Verification Engineering[J]. Microelectronics & Computer, 2005, 22(10): 147-151 |
| |
| Authors: | ZHANG Duo-li GAO Ming-lun LI Li CHENG Zuo-ren |
| |
| Affiliation: | 1 Institute of Micro Electronic Design, Hefei University of Technology, Hefei 230009 China;2 Institute of Micro Electronic Design, Nanjing University, Nanjing 230091 China |
| |
| Abstract: | Based on the analysis of the problem of functional verification, through adapting the concept of engineering, a new verification engineering solution named functional information based verification engineering was proposed. The process model of the solution and its composition were detailed in this paper. The new process model has the potential to improve the parallelizability and the reuse efficiency of the functional verification. |
| |
| Keywords: | Functional verification IC engineering Functional information Process model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
