基于断言的验证方法在UART模块中的应用研究

李洋洋; 吴武臣; 王龙伟; 王宁; 侯立刚

Chinese

您当前的位置：

首页 >

文章列表页 >

基于断言的验证方法在UART模块中的应用研究

更新时间：2026-09-04

- 基于断言的验证方法在UART模块中的应用研究
- Research of Assertion-Based Verification Method on UART
- 微电子学与计算机 2010年27卷第1期页码：151-153
- 作者机构：
  
  北京工业大学集成电路与系统实验室,北京,100124
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版：2010
- 稿件说明：
移动端阅览
李洋洋, 吴武臣, 王龙伟, 王宁, 侯立刚. 基于断言的验证方法在UART模块中的应用研究[J]. 微电子学与计算机, 2010, 27(1): 151-153,157.

LI Yang-yang, WU Wu-chen, WANG Long-wei, et al. Research of Assertion-Based Verification Method on UART[J]. 2010, 27(1): 151-153.
李洋洋, 吴武臣, 王龙伟, 王宁, 侯立刚. 基于断言的验证方法在UART模块中的应用研究[J]. 微电子学与计算机, 2010, 27(1): 151-153,157. DOI：

LI Yang-yang, WU Wu-chen, WANG Long-wei, et al. Research of Assertion-Based Verification Method on UART[J]. 2010, 27(1): 151-153. DOI：

摘要

介绍了一种易于实现的基于断言的验证 (ABV) 方法

即经过5个步骤在设计文件中插入断言

使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级 (RTL) 模型功能验证中的应用

实验中使用SVA描述设计属性.实验证明

这一方法提高了设计的可观察性

适用于数字集成电路功能验证.

Abstract

This paper presents an easy-approached assertion-based verification (ABV) method by embedding assertions in source codes to monitor key function spots of the design during simulation.This method is approached by five steps.As an application example

a case study of functional verification for a UART RTL model

using System Verilog Assertion (SVA) to describe the properties

is provided.The studied result shows that the new method is feasible and can be applied in the design and verification process to increase the observability of the design.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于GSTE的验证在UART模块中的应用研究

一种用于极低压boost系统的高效率电荷泵

基于反向体偏置的高增益稳定性高温运放设计

AlN/GaN混合缓冲层双异质结p-GaN HEMT直流特性仿真

基于区块链的AI生成内容溯源框架设计研究