{"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}
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
期刊介绍:
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.