搜索: 断言 - 畅学电子网

文章资料视频课程课时学习计划项目话题小组用户

[ 文章 ] 用PSL语言进行基于断言的验证方法

本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法, ...

by 期待 | 发表时间 2015-05-26 |2642次查看
[ 文章 ] 如何选择正确的芯片验证方法

本文将对时下流行的验证技术(形式验证、随机、定向、有约束的随机、断言、属性检验)与语言(System ...

by 期待 | 发表时间 2015-05-25 |1425次查看
[ 文章 ] 开发高可靠性嵌入式系统的6个技巧

这些都只是一些可以让开发人员开始建立更可靠嵌入式系统的方法。另外还有很多其他技术，例如利用良好的编码 ...

by 王者风范 | 发表时间 2015-11-09 |1128次查看
[ 文章 ] 在C语言中用ASSERT调试的八个技巧

C语言中的ASSERT(断言)宏是嵌入式软件开发人员可以使用的最好的调试工具之一。虽然ASSERT功 ...

by _海蓝了夏迷了眼 | 发表时间 2015-12-07 |1075次查看
[ 文章 ] C语言中用ASSERT调试的八个技巧

本文讨论的八个技巧只是如何正确使用断言的冰山一角。接下来读者就可以在测试平台中建立和开始使用断言，并 ...

by 娇 | 发表时间 2016-02-23 |1073次查看
[ 文章 ] C语言断言assert讲解

在讲解之前，我们先来对断言做一个基本的介绍，让大家对断言有一个大致的了解。 ...

by 永不止步步 | 发表时间 2016-02-25 |1068次查看
[ 文章 ] SystemVerilog语言简介

SystemVerilog是一种硬件描述和验证语言（HDVL），它基于IEEE 1364-2001 ...

by Dabing | 发表时间 2015-02-04 |994次查看