利用系统Verilog实现32位处理器总线接口逻辑的VIP

IF 0.6 4区 工程技术 Q4 ENGINEERING, ELECTRICAL & ELECTRONIC
D. DavidNeelsPonKumar., Arun Samuel T.S
{"title":"利用系统Verilog实现32位处理器总线接口逻辑的VIP","authors":"D. DavidNeelsPonKumar., Arun Samuel T.S","doi":"10.33180/INFMIDEM2018.402","DOIUrl":null,"url":null,"abstract":"A verification environment to verify an ARM-based SoC is proposed in this work. This work introduces the design of a\nVerification Intellectual Property (VIP) of Advanced Microcontroller Bus Architecture (AMBA). AMBA protocols are today the best\nstandards for 32-bit processor because they are well documented and can be used without royalties. The VIP provides Coverage Driven\nVerification (CDV) which significantly reduces the design verification time. The code coverage verification of the AHB bus master,\nIcache controller, Dcache controller and APB peripherals such as APB bridge, timer, UART, and ACE is done in this work. The test cases\ndone for the APB peripherals are ACE with the mil_std_protocol, Timers for generation of interrupt and watchdog reset, UART for\ntransmitting and receive messages, and interrupt registers for Reading and Write. The functional verification of AMBA is carried out\nusing the Mentor Graphics Questasim tool with the system Verilog language","PeriodicalId":56293,"journal":{"name":"Informacije Midem-Journal of Microelectronics Electronic Components and Materials","volume":"41 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2019-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Implementation of VIP for bus interface logic of\\n32-bit processor using System Verilog\",\"authors\":\"D. DavidNeelsPonKumar., Arun Samuel T.S\",\"doi\":\"10.33180/INFMIDEM2018.402\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A verification environment to verify an ARM-based SoC is proposed in this work. This work introduces the design of a\\nVerification Intellectual Property (VIP) of Advanced Microcontroller Bus Architecture (AMBA). AMBA protocols are today the best\\nstandards for 32-bit processor because they are well documented and can be used without royalties. The VIP provides Coverage Driven\\nVerification (CDV) which significantly reduces the design verification time. The code coverage verification of the AHB bus master,\\nIcache controller, Dcache controller and APB peripherals such as APB bridge, timer, UART, and ACE is done in this work. The test cases\\ndone for the APB peripherals are ACE with the mil_std_protocol, Timers for generation of interrupt and watchdog reset, UART for\\ntransmitting and receive messages, and interrupt registers for Reading and Write. The functional verification of AMBA is carried out\\nusing the Mentor Graphics Questasim tool with the system Verilog language\",\"PeriodicalId\":56293,\"journal\":{\"name\":\"Informacije Midem-Journal of Microelectronics Electronic Components and Materials\",\"volume\":\"41 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2019-02-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Informacije Midem-Journal of Microelectronics Electronic Components and Materials\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.33180/INFMIDEM2018.402\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"ENGINEERING, ELECTRICAL & ELECTRONIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Informacije Midem-Journal of Microelectronics Electronic Components and Materials","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.33180/INFMIDEM2018.402","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}
引用次数: 1

摘要

在这项工作中,提出了一个验证环境来验证基于arm的SoC。本文介绍了高级微控制器总线体系结构(AMBA)的验证知识产权(VIP)的设计。AMBA协议是目前32位处理器的最佳标准,因为它们有很好的文档,并且可以免费使用。VIP提供覆盖驱动验证(CDV),这大大减少了设计验证时间。完成了AHB总线主机、Icache控制器、Dcache控制器以及APB网桥、定时器、UART、ACE等APB外设的代码覆盖率验证。为APB外设完成的测试用例是带有mil_std_协议的ACE,用于生成中断和看门狗复位的计时器,用于发送和接收消息的UART,以及用于读写的中断寄存器。利用Mentor Graphics Questasim工具和系统Verilog语言对AMBA进行了功能验证
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Implementation of VIP for bus interface logic of 32-bit processor using System Verilog
A verification environment to verify an ARM-based SoC is proposed in this work. This work introduces the design of a Verification Intellectual Property (VIP) of Advanced Microcontroller Bus Architecture (AMBA). AMBA protocols are today the best standards for 32-bit processor because they are well documented and can be used without royalties. The VIP provides Coverage Driven Verification (CDV) which significantly reduces the design verification time. The code coverage verification of the AHB bus master, Icache controller, Dcache controller and APB peripherals such as APB bridge, timer, UART, and ACE is done in this work. The test cases done for the APB peripherals are ACE with the mil_std_protocol, Timers for generation of interrupt and watchdog reset, UART for transmitting and receive messages, and interrupt registers for Reading and Write. The functional verification of AMBA is carried out using the Mentor Graphics Questasim tool with the system Verilog language
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.80
自引率
0.00%
发文量
10
审稿时长
>12 weeks
期刊介绍: Informacije MIDEM publishes original research papers in the fields of microelectronics, electronic components and materials. Review papers are published upon invitation only. Scientific novelty and potential interest for a wider spectrum of readers is desired. Authors are encouraged to provide as much detail as possible for others to be able to replicate their results. Therefore, there is no page limit, provided that the text is concise and comprehensive, and any data that does not fit within a classical manuscript can be added as supplementary material. Topics of interest include: Microelectronics, Semiconductor devices, Nanotechnology, Electronic circuits and devices, Electronic sensors and actuators, Microelectromechanical systems (MEMS), Medical electronics, Bioelectronics, Power electronics, Embedded system electronics, System control electronics, Signal processing, Microwave and millimetre-wave techniques, Wireless and optical communications, Antenna technology, Optoelectronics, Photovoltaics, Ceramic materials for electronic devices, Thick and thin film materials for electronic devices.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信