Our task was to create a virtual test bench for verifying memory addresses in our commissioning body?s models. The purpose with the testbench was that it should be created in such a way that it would be easy to change the device under test without any major changes in the testbench.To solve the problem that the testbench had to be able to verify different devices we had to create a general enviroment for how the testbench had to be composed. By doing an analysis of which com-ponents that are usually included in a testbench and which components that were necessary in our project we came up with a generall enviroment for the testbench. Our result was a testbench with the follwing basic functions:* Read from a file that contains read and write operations to the Device Under Test (DUT).* Apply the stimulus to the device* Read the results from the device* Compare the results with wanted values* Generate a log file which contains information about the simulation result..

IEC 61508, ISO 26262, DO-254 och CENELEC EN 5012x är alla standarder för utveckling av säkerhetskritiska system. Dessa fyra är applicerbara på bilar upp till 3.5 ton (ISO 26262), flyg (DO-254), tåg (Cenelec EN 5012x) samt IEC 61508 vilket är en standard för flertalet industrigrenar.När ett säkerhetskritiskt system skall implementeras i en FPGA så kan problem uppstå. Detta för att en FPGA ibland räknas till hårdvara men utvecklingen följer samma mönster som mjukvaruutveckling. Detta examensarbetes huvuduppgift är att klargöra hur de olika standarderna ser på FPGA utveckling samt verifiering med hjälp av utökad funktionell verifiering.Uppsatsen är uppdelad i två delar. Den första delen behandlar de säkerhetskritiska standarderna.