首页> 中文会议>企业信息化高级论坛全国第12届CAD/CG学术会议 >芯片系统的设计验证

芯片系统的设计验证

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文综述SOC的功能验证方法.分析了当前验证方法的不能适应SOC的验证要求.同时说明形式化验证的优点和缺点和混合验证方法的发展.简要介绍系统级设计语言SystemC和OVL验证库.指出利用Verilog语言的PLI,研究用C++把模型检验、定理证明、模拟等验证方法有机的结合起来,把混合验证方法的研究同具体领域的芯片系统的研制结合起来,将是解决SOC验证问题的有希望的途径.

著录项

来源
《企业信息化高级论坛全国第12届CAD/CG学术会议》|2002年|356-360|共5页
会议地点贵阳
作者
韩俊刚; 杜慧敏;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计、软件工程;调整、测试、校验;
关键词
芯片系统; 形式化验证; 模型检验; 混合验证;

相似文献

中文文献
外文文献
专利

1. 芯片系统对测试提出新的挑战——芯片系统需要新的测试技术和新的测试开发方法 [J] . 汪庆宝 ,汪蘋 . 国外电子测量技术 . 1999,第4期
2. 华润微电子IGBT工艺平台通过中科院微电子所产品设计验证成为国内第一条完整通过客户产品设计验证的IGBT工艺线 [J] . . 中国集成电路 . 2010,第005期
3. 设计验证测试仪面面观：设计验证测试仪看起来象生产测试仪,但具有专门适应设 [J] . 范增杰 . 电子产品世界 . 1994,第008期
4. 基于STM32的虚拟可编程接口芯片系统设计 [J] . 秦金磊 ,李整 ,朱有产 . 科教文汇 . 2021,第007期
5. 用于五种动物源性成分快速检测的离心式微流控芯片系统研制 [J] . 周新丽 ,申炳阳 ,高丽娟 . 食品与发酵工业 . 2020,第003期
6. 发电机压缩机支架轻量化设计验证改善噪声探讨 [C] . 陈锐哲 . 中国铸造行业系列会议（384次）——第十五届中国铸精密铸造年会 . 2017
7. 高性能电机驱动器开关损耗和噪声分析与设计验证 [A] . 韩如锦 . 2020

芯片系统的设计验证

摘要

著录项

相似文献

相关主题

期刊订阅