Coresight on Pirmin Schmid :: Homepagehttps://www.pirmin-schmid.ch/tags/coresight/Recent content in Coresight on Pirmin Schmid :: HomepageHugoen-usThu, 27 Aug 2020 00:00:00 +0000Runtime Verification with TeSSLa on a CPU/FPGA hybrid systemhttps://www.pirmin-schmid.ch/publications/computer-science/runtime-verification/Thu, 27 Aug 2020 00:00:00 +0000https://www.pirmin-schmid.ch/publications/computer-science/runtime-verification/<p>This is the description of a fully working runtime verification system for ARM CoreSight traces running on a CPU/FPGA hybrid system.</p>