Simics

Simics är en simulator som utvecklats av svenska startup-bolaget Virtutech, sedermera uppköpt av Intel och Wind River. Utvecklingen av Simics har fortsatt inom Intel och Wind River. Simics kan simulera ett komplett datorsystem på en så låg nivå att man kan köra ett helt oförändrat operativsystem i den virtuella maskinen, och det fungerar precis som om det hade körts på en riktig dator. Men till skillnad från den riktiga datorn har man i simulatorn full insyn i, och kontroll över exekveringen på lägsta funktionella nivån (enskilda maskininstruktioner). Simics tillåter användaren att spara maskinens hela tillstånd till fil ("checkpoint"). Vidare är simuleringen deterministisk, vilket gör att exekvering från samma starttillstånd alltid ger exakt samma exekveringsväg. Dessa två funktioner gör det möjligt att uppnå illusionen av att exekvera kod baklänges. Vill man exekvera en instruktion bakåt hoppar Simics tillbaka till närmast föregående mikro-checkpoint, för att sedan exekvera framåt till instruktionen före där man startade . Simics simulerar ett antal olika CPU-arkitekturer, inklusive x86 (både 32- och 64-bitar), ARM, Sparc V8, UltraSPARC, Power Architecture, MIPS, IA64, H8. Utöver CPU:erna simuleras också all annan hårdvara i några typiska datorsystem, som till exempel hårddiskar, PCI-bryggor, nätverkskort, grafikkort med mera.