EngineeringComputer EngineeringSemiconductor DevicesFunctional VerificationProduct ValidationPrototype DevelopmentPrototype ValidationVirtual PrototypingDesign ValidationDevice Driver DevelopmentDriver TestingDriver VerificationPost-silicon ValidationTime-to-market ReductionVirtual Prototype ValidationVirtual Prototypes
Virtual prototypes are increasingly used in device/driver co-development and co-validation to enable early driver development and reduce product time-to-market. However, drivers developed over virtual prototypes often do not work readily on silicon devices, since silicon devices often do not conform to virtual prototypes. Therefore, it is important to detect the inconsistences between silicon devices and virtual prototypes.
16
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 3K citations · Full text
Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations
Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Communications of the ACM · 2012 · 562 citations