Syntetisoitavien RTL-mallien koodaussäännöt
Kestilä, Rasmus (2023-01-20)
Kestilä, Rasmus
R. Kestilä
20.01.2023
© 2023 Rasmus Kestilä. Tämä Kohde on tekijänoikeuden ja/tai lähioikeuksien suojaama. Voit käyttää Kohdetta käyttöösi sovellettavan tekijänoikeutta ja lähioikeuksia koskevan lainsäädännön sallimilla tavoilla. Muunlaista käyttöä varten tarvitset oikeudenhaltijoiden luvan.
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:oulu-202301201062
https://urn.fi/URN:NBN:fi:oulu-202301201062
Tiivistelmä
Tässä kandidaatin työssä perehdytään RTL-mallien koodaukseen, niin että kirjoitettu koodi voidaan syntetisoida logiikkaporteiksi sekä rekistereiksi.
Työssä käydään aluksi läpi kombinaatio- sekä sekvenssilogiikan perusteet ja ominaisuudet. Myöhemmässä vaiheessa tarkastellaan, millaisia vaatimuksia syntetisoitavilla kombinaatio- ja sekvenssilogiikkamalleilla on, jotta ne toimivat oikein.
Lisäksi työ sisältää esimerkkejä virheellisistä RTL-malleista ja niiden tutkimista. Virheellisiä malleja myös tarkastetaan Cadence JasperGold SuperLint -ohjelmalla ja tarvittavat korjaukset käydään läpi niin, että RTL-mallit pystytään syntetisoimaan. In this bachelor’s thesis we familiarize ourselves with the coding of RTL models, so that these models can be synthesized to logic gates and registers.
The work initially covers the basics and features of combinational and sequential logic. Later we will look at what kind of requirements does synthesizable combinational and sequential logic models need to work correctly.
In addition, the work includes examples of incorrect RTL models and examining of them. The incorrect models are also checked with Cadence JasperGold SuperLint tool and necessary corrections are looked over, so that the RTL models can be synthesized.
Työssä käydään aluksi läpi kombinaatio- sekä sekvenssilogiikan perusteet ja ominaisuudet. Myöhemmässä vaiheessa tarkastellaan, millaisia vaatimuksia syntetisoitavilla kombinaatio- ja sekvenssilogiikkamalleilla on, jotta ne toimivat oikein.
Lisäksi työ sisältää esimerkkejä virheellisistä RTL-malleista ja niiden tutkimista. Virheellisiä malleja myös tarkastetaan Cadence JasperGold SuperLint -ohjelmalla ja tarvittavat korjaukset käydään läpi niin, että RTL-mallit pystytään syntetisoimaan.
The work initially covers the basics and features of combinational and sequential logic. Later we will look at what kind of requirements does synthesizable combinational and sequential logic models need to work correctly.
In addition, the work includes examples of incorrect RTL models and examining of them. The incorrect models are also checked with Cadence JasperGold SuperLint tool and necessary corrections are looked over, so that the RTL models can be synthesized.
Kokoelmat
- Avoin saatavuus [31657]