Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
  1. Hjem
  3. Høyskole
  5. NTNU
  7. TFE4171
  9. Temaprøver
TFE4171

TFE4171 Design av digitale system 2

Temaprøver

Øv deg på hvert enkelt tema med realistiske totimersprøver. Perfekt for å styrke svake områder eller teste deg selv før eksamen.

52

prøver

13

temaer

2t

per prøve

01

System-on-Chip (SoC) — arkitektur og utfordringer

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
SystemOnChip (SoC)Arkitektur

Om temaprøvene

Hver temaprøve er designet for å ta 2 timer og fokuserer på ett spesifikt tema fra pensum.

Prøvene er laget for å ligne oppgavene du møter på eksamen, men med fokus på ett emne av gangen. Dette gjør det lettere å identifisere og fylle kunnskapshull.

Temaer merket med «Eksamensrelevant» er de som dukker opp på nesten alle eksamener. Start med disse hvis du har begrenset tid.

Temaprøve 1 i hvert tema er gratis. Temaprøve 2–4 krever premium.
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Temaprøve 2
2 timer
SystemOnChip (SoC)Arkitektur
Temaprøve 3
2 timer
SystemOnChip (SoC)Arkitektur
Temaprøve 4
2 timer
SystemOnChip (SoC)Arkitektur
02

SystemVerilog som HDVL

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
SystemVerilog som HDVL
Temaprøve 2
2 timer
SystemVerilog som HDVL
Temaprøve 3
2 timer
SystemVerilog som HDVL
Temaprøve 4
2 timer
SystemVerilog som HDVL
03

SystemVerilog Assertions (SVA)

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
SystemVerilog Assertions (SVA)
Temaprøve 2
2 timer
SystemVerilog Assertions (SVA)
Temaprøve 3
2 timer
SystemVerilog Assertions (SVA)
Temaprøve 4
2 timer
SystemVerilog Assertions (SVA)
04

Funksjonell dekningsgrad (Functional Coverage)

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
Funksjonell dekningsgrad (Functional Coverage)
Temaprøve 2
2 timer
Funksjonell dekningsgrad (Functional Coverage)
Temaprøve 3
2 timer
Funksjonell dekningsgrad (Functional Coverage)
Temaprøve 4
2 timer
Funksjonell dekningsgrad (Functional Coverage)
05

Universal Verification Methodology (UVM)

4 prøver
Temaprøve 1Gratis
2 timer
Universal Verification Methodology (UVM)
Temaprøve 2
2 timer
Universal Verification Methodology (UVM)
Temaprøve 3
2 timer
Universal Verification Methodology (UVM)
Temaprøve 4
2 timer
Universal Verification Methodology (UVM)
06

Constrained Random Verification

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
Constrained Random Verification
Temaprøve 2
2 timer
Constrained Random Verification
Temaprøve 3
2 timer
Constrained Random Verification
Temaprøve 4
2 timer
Constrained Random Verification
07

Temporal logikk og spesifikasjon

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Temporal logikkSpesifikasjon
Temaprøve 2
2 timer
Temporal logikkSpesifikasjon
Temaprøve 3
2 timer
Temporal logikkSpesifikasjon
Temaprøve 4
2 timer
Temporal logikkSpesifikasjon
08

Formell verifikasjon og model checking

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Formell verifikasjonModel checking
Temaprøve 2
2 timer
Formell verifikasjonModel checking
Temaprøve 3
2 timer
Formell verifikasjonModel checking
Temaprøve 4
2 timer
Formell verifikasjonModel checking
09

Transaksjons- og systemnivå-modellering (TLM/SystemC)

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
TransaksjonsOg systemnivåModellering (TLM/SystemC)
Temaprøve 2
2 timer
TransaksjonsOg systemnivåModellering (TLM/SystemC)
Temaprøve 3
2 timer
TransaksjonsOg systemnivåModellering (TLM/SystemC)
Temaprøve 4
2 timer
TransaksjonsOg systemnivåModellering (TLM/SystemC)
10

Verifikasjonsplan og -metodologi

4 prøver
Temaprøve 1Gratis
2 timer
VerifikasjonsplanMetodologi
Temaprøve 2
2 timer
VerifikasjonsplanMetodologi
Temaprøve 3
2 timer
VerifikasjonsplanMetodologi
Temaprøve 4
2 timer
VerifikasjonsplanMetodologi
11

Simuleringsbasert verifikasjon og testbenk-design

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
Simuleringsbasert verifikasjonTestbenkDesign
Temaprøve 2
2 timer
Simuleringsbasert verifikasjonTestbenkDesign
Temaprøve 3
2 timer
Simuleringsbasert verifikasjonTestbenkDesign
Temaprøve 4
2 timer
Simuleringsbasert verifikasjonTestbenkDesign
12

SystemC-simuleringskjerne og hendelsesmodellering

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
SimuleringsfaserSCMETHODvs.SCTHREADSC_METHOD vs. SC_THREADSCM​ETHODvs.SCT​HREADInitialisering og dontinitializedont_initializedonti​nitializeForutsi utskrift
Temaprøve 2
2 timer
Umiddelbar, delta- og tidsvarslingPre-empsjon av varslingerForutsi simuleringsutskriftRekonstruksjon fra utskrift
Temaprøve 3
2 timer
Delta-sykler og update-fasenPrimitive vs. hierarkiske kanalerValg av kanaltypeSignalsemantikk over flere sykler
Temaprøve 4
2 timer
Statisk og dynamisk sensitivitetscspawnsc_spawnscs​pawn og dynamiske prosesserPreemptiv vs. samarbeidende semantikkPorter, eksporter og interface-metoder
13

Interval Property Checking og operasjonsegenskaper

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Utrulling og SAT-kodingSAT vs. UNSATOverapproksimasjonValg av intervallengde
Temaprøve 2
2 timer
Invariant og lukkethetNåbar tilstandsmengde RInduksjonsbevisFra unåbarhet til invariant
Temaprøve 3
2 timer
Assume/prove-strukturSkrive operasjonsegenskap i SVAEkte vs. falskt moteksempelDiagnose og tiltak
Temaprøve 4
2 timer
FullstendighetssjekkKjeding av operasjonsegenskaperOver- og underconstrainingBygge en komplett samling