Design and verification of an ARM Watchdog Timer using UVM. (12th December 2022)
- Record Type:
- Journal Article
- Title:
- Design and verification of an ARM Watchdog Timer using UVM. (12th December 2022)
- Main Title:
- Design and verification of an ARM Watchdog Timer using UVM
- Authors:
- Ragamathana, R.
Prathiba, A.
Basha, Shaik Chand - Abstract:
- The watchdog timer is an advanced microcontroller bus architecture (AMBA) compliant system-on-chip peripheral. It is an AMBA slave module and connects to the advanced peripheral bus (APB). It consists of a 32-bit down counter with a programmable timeout interval that generates an interrupt and applies a reset to the processor on time out. Verification intellectual property (IP) is a smart way to verify the functional correctness of any complex design. This is achieved by constrained random verification (CRV), which generates legal test scenarios randomly that weed out the bugs and corner cases, thereby validating the characteristic features of the watchdog timer. CRV also builds automated checkers and provides higher coverage goals. In this work, an ARM Watchdog Timer is designed in Verilog and system-on-chip level verification of the same is performed using the universal verification methodology (UVM) by combining both CRV and coverage driven verification (CDV) to ensure its functional correctness.
- Is Part Of:
- International journal of high performance systems architecture. Volume 11:Number 2(2022)
- Journal:
- International journal of high performance systems architecture
- Issue:
- Volume 11:Number 2(2022)
- Issue Display:
- Volume 11, Issue 2 (2022)
- Year:
- 2022
- Volume:
- 11
- Issue:
- 2
- Issue Sort Value:
- 2022-0011-0002-0000
- Page Start:
- 85
- Page End:
- 95
- Publication Date:
- 2022-12-12
- Subjects:
- AMBA -- advanced microcontroller bus architecture -- APB -- advanced peripheral bus -- verification IP -- system-on-chip level verification -- UVM -- universal verification methodology -- CRV -- constrained random verification -- CDV -- coverage driven verification
Computer architecture -- Periodicals
Computer systems -- Periodicals
High performance computing -- Periodicals
004.205 - Journal URLs:
- http://www.inderscience.com/jhome.php?jcode=ijhpsa ↗
http://www.inderscience.com/ ↗ - Languages:
- English
- ISSNs:
- 1751-6528
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 24707.xml