Emnet tar for seg utfordringene ved utvikling av komplekse digitale systemer som System-on-Chip (SoC), med vekt på høynivå-beskrivelsesspråk, assertion-basert verifikasjon i SystemVerilog/UVM og formell verifikasjon med model checking.
Uavhengig læringsressurs laget av eksamenssett.no. Ikke tilknyttet NTNU. Inspirert av pensum i TFE4171.
Innholdet bygger på 6 tidligere eksamensdokumenter (oppgavesett, løsningsforslag og sensorveiledninger) for TFE4171. Slik jobber vi med kvalitet
Eksamensforberedelser
Øvingseksamener, quiz, flashcards, temaprøver
SystemVerilog Assertions (SVA)
SystemC-simuleringskjerne og hendelsesmodellering
Interval Property Checking og operasjonsegenskaper
Formell verifikasjon og model checking
Temporal logikk og spesifikasjon
Transaksjons- og systemnivå-modellering (TLM/SystemC)
Simuleringsbasert verifikasjon og testbenk-design
Funksjonell dekningsgrad (Functional Coverage)
Constrained Random Verification
SystemVerilog som HDVL
System-on-Chip (SoC) — arkitektur og utfordringer
Verifikasjonsplan og -metodologi
Universal Verification Methodology (UVM)