Explore projects

A sequential SAT solver that won the 2nd place of SAT Competition 2022 (solved the same number of instances with the winner)

Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the same task to Zynq UltraScale+ MPSoC with several noticeable differences.

Project Zero of Computer Organization and Design course