The words contained in this file might help you see if this file matches what you are looking for:

...Verifying systemc tlmperipheralsusing modernc symbolicexecutiontools pascal pieper vladimir herdt cyber physical systems dfki gmbh bremen germany institute of computer science university de vherdt uni daniel groye rolf drechsler johannes kepler linz austria grosse jku at abstract modeling semantics in combination with the simulation this paper we propose an effective approach for verification real kernel existing methods commonly rely on formal world tlm peripherals using modern c symbolic execu intermediaterepresentationstocapturethetlmperiperhalsemantics tion tools designed a lightweight peripheral that whichrequiresignificanteffort to derive do not scale advanced sys enables efficient integration execution temctlmperipherals ordonotsupportcorefeaturesofthesystemc enginekleeandactsasadrop inreplacementforthenormalsystemc pre processed processing step tomitigate these issues ap essentially replaces context switches threads normal proach by function calls which can be handled klee our ...