Fpga on Pirmin Schmid :: Homepagehttps://www.pirmin-schmid.ch/tags/fpga/Recent content in Fpga 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>FPGA goes Arcadehttps://www.pirmin-schmid.ch/software/fpga-goes-arcade/Fri, 15 Jan 2016 00:00:00 +0000https://www.pirmin-schmid.ch/software/fpga-goes-arcade/<p>A Tron like light cycle race implemented on a Xilinx Spartan 3 FPGA board (MIPS assembly, I/O devices, VGA output). Additional game versions in Excel and Javascript.</p>