设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网) › 日志

日志

IC设计| SOC验证| EDA工具| Architecture| MotorCycle| 标准|

分享基于断言的硬件设计功能验证技术zz: cuttlefish 2008-10-14 14:31; 技术分类： EDA工具与服务 | 2004-11-30 韩伟华，Synopsys Inc 　　硬件设计复杂度的增加使功能验证成为硬件设计方法学中的重要内容，基于断言技术的硬件设计验证技术得到越来越多的应用。　　作为一种对设计对象的属性特性或行为特性的的描述，断言（声明，assertion）并不是一 ...; 个人分类: SOC验证|3037 次阅读|0 个评论

分享几种主流SoC(片上系统）验证技术zz: cuttlefish 2008-10-14 14:28; 技术分类： EDA工具与服务 | 2008-08-25 　　 SoC 验证技术已经落后于设计和制造能力，如何构建更快更好的设计验证方法是当前最大的问题。　　SoC经过近十年的发展，有了广阔的市场。SoC验证研究领域在验证技术、验证方法学、测试码提取、验证描述语言、 IP核重用验证、验证流程及验证评估方面取 ...; 个人分类: SOC验证|4429 次阅读|1 个评论热度 1

分享断言验证的优点zz: cuttlefish 2008-10-14 13:32; 下面列举了在设计中使用断言监控器的优点。设计者的规范性设计者在设计里加入断言时，会要求自己更仔细地检查设计和提取出来的特征。可观察性在设计里增加断言监视器可使设计更利于观察。可进行形式验证断言对应于形式验证工具里的特征。设计里插入断言监视器后可以用形式验证工具对其进行 ...; 个人分类: SOC验证|1020 次阅读|0 个评论

分享是时候学习SystemVerilog了 zz: cuttlefish 2008-10-14 13:30; 是时候学习 SystemVerilog 了 1/19/2006 Global Designer: IEEE standardizes SystemVerilog May 25, 2006 SystemVerilog Gains A Foothold In Verification 2006-10-12 SystemVerilog 已在验证领域立稳脚跟 01/08/2007 SystemVerilog adoption up, Cade ...; 个人分类: SOC验证|1401 次阅读|0 个评论

分享学习SystemVerilog（二）——学习它的理由zz: cuttlefish 2008-10-14 13:29; 学习SystemVerilog的理由也很多，我在阅读SystemVerilog for Design 和 SystemVerilog for Verification两本书前言的过程中，总结出了SystemVerilog在以下几个方面对Verilog的增强： riple 更清晰、准确、简洁的硬件描述能力——Design 。在上一篇关于学习 ...; 个人分类: SOC验证|1131 次阅读|0 个评论

分享学习SystemVerilog（一）——不学习它的理由zz: cuttlefish 2008-10-14 13:27; 想要学习SystemVerilog已经很久了。曾经尝试通过Accellera网站上给出的LRM学习，怎奈内容众多，找不出入手点和重点，只能望而却步。虽然手头有三本SystemVerilog方面的书：《SVA应用指南》，《SystemVerilog验证方法学》和《高级验证方法学》，但是难成系统。第一本只给出了SystemVerilog在断言方面的应用，详 ...; 个人分类: SOC验证|2826 次阅读|1 个评论

分享【转帖】通过将SystemC和SystemVerilog集成在单个环境中获得事务级建模和高级验证功能: cuttlefish 2008-9-25 15:27; 尽管业界对 SystemC 或 SystemVerilog 哪个更适用于系统设计和验证仍有争论，但已经不需要在两个之间作出选择。通过互补的方式对它们高效地加以利用可以促进那些高级验证方法的成功运用。这些高级验证方法通常会采用受限随机测试生成、功能覆盖、声明和事务级建模 (TLM)功能。通过支持面向对象的编程方法，这两种语 ...; 个人分类: SOC验证|1288 次阅读|0 个评论

分享【转帖】基於SystemC/SCV模擬的高效事務處理可縮短驗證時間: cuttlefish 2008-9-25 15:24; 圖1：利用 SystemC 縮短開發周期。本文描述了富士通網路科技有限公司(FNT)利用 SystemC 驗證庫( SCV )和Incisive標準模擬器成功實現的兩個計畫。FNT在選擇Incisive實現複雜的驗證環境中，充分利用了IUS提供的功能，製作了能使用 SystemC 和混合HDL進行多語言模擬的整合環境。這樣 ...; 个人分类: SOC验证|662 次阅读|0 个评论

分享【转贴】各种流行验证技术在芯片设计流程中的应用: cuttlefish 2008-9-25 15:21; 本文阐述了当今流行的验证技术 (形式验证、随机、定向、约束随机、断言、 (属性检查)和语言( SystemC 、C/C++、SystemVerilog、Open-VERA、E等等)，还探讨了各种验证技术在数字ASIC传统设计流程中的场合(应采用何种技术和语言) 和时机(设计者何时需要运用某项特定的技术或语言)。 ...; 个人分类: SOC验证|537 次阅读|0 个评论

关闭

站长推荐 /1

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2024-5-22 15:12 , Processed in 0.014864 second(s), 3 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部