University of Oulu

CDC logic verification in RTL design

Saved in:
Author: Hekkala, Elmeri1
Organizations: 1University of Oulu, Faculty of Information Technology and Electrical Engineering, Electrical Engineering
Format: ebook
Version: published version
Access: open
Online Access: PDF Full Text (PDF, 0.8 MB)
Pages: 21
Persistent link: http://urn.fi/URN:NBN:fi:oulu-202304121370
Language: English
Published: Oulu : E. Hekkala, 2023
Publish Date: 2023-04-12
Thesis type: Bachelor's thesis
Tutor: Lahti, Jukka
Description:

Abstract

This bachelor’s thesis provides overview of the clock domain crossing verification in RTL design. Metastability problem and different synchronization methods are explained, and the CDC verification flow is introduced. The work is focused to discuss about different challenges in the CDC verification.

CDC Logic Verification in RTL Design CDC logiikan tarkastaminen RTL suunnittellussa

Tiivistelmä

Tämä kandidaatintyö antaa yleiskatsauksen kelloalueylitysten verifiointiin RTL suunnittelussa. Metastabiilisuus ja erilaiset synkronointitavat selitetään sekä CDC verifiointiprosessi esitetään. Työ painottuu tarkastelemaan erilaisia haasteita CDC verifioinnissa.

see all

Subjects:
Copyright information: © Elmeri Hekkala, 2023. This publication is copyrighted. You may download, display and print it for your own personal use. Commercial use is prohibited.