Research of Assertion-Based Verification Method on UART

LI Yang-yang; WU Wu-chen; WANG Long-wei; WANG Ning; HOU Li-gang

Chinese

您当前的位置：

首页 >

文章列表页 >

Research of Assertion-Based Verification Method on UART

更新时间：2026-09-04

- Research of Assertion-Based Verification Method on UART
- Vol. 27, Issue 1, Pages: 151-153(2010)
- 作者机构：
  
  北京工业大学集成电路与系统实验室,北京,100124
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：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

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research of GSTE-Based Verification on UART

Steganography model guided by attention mechanism and improved dense convolution

A high-efficiency charge pump for ultra-low voltage boost systems

Monte carlo analysis of V-layout trench SiC neutron detector

Implementation and verification of a dual-chain power gating strategy for low power design

Related Author

WANG Zhicai

YANG Guowu

ZHENG Desheng

QI Mei

Related Institution

1 School of Computer Science & Engineering, University of Electronic Science and Technology of China

2 Panzhihua University

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰