Sökning: "Kenji Kjellsson"
Hittade 2 uppsatser innehållade orden Kenji Kjellsson.
1. Formal Methods in Verification of Interface and Bus Protocols
Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)Sammanfattning : This master thesis is performed on behalf of the Swedish technology company Ericsson and is meant to evaluate the efficiency of an assertion-based Verification Intellectual Property (abVIP) against an already existing constrained random Verification Intellectual Property (crVIP). The abVIP is a verification entity which is connected with a predefined design and proves that the design is adhering to the specification properties through conditional checks, which uses mathematical proofs rather than prolonged simulation based input stimuli. LÄS MER
2. Utveckling av laborationer i elektromagnetisk kompatibilitet
Kandidat-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)Sammanfattning : Detta kandidatexamensarbete tacker amnet elektromagnetisk kompatibilitet, pa engelska Electromagnetic compatibility (EMC). Uppgiften var att konstruera ett laborationspass for hogskoleingenjorer som skulle behandla amnet EMC. Elektrisk utrustning kan sanda ut elektromagnetiska storningar. LÄS MER
