Displaying present location in the site.

Video Tutorials

Commentary

This video of contributors, is Design Automation and Reconfigurable Computing Laboratory of the Hong Kong Polytechnic University.

C based formal verification

This video showcases how to perform formal verification (property checking) in ANSI C code for High Level Synthesis.

High-Level Synthesis Design Space Exploration (DSE)

Video showing what HLS Design Space Exploration is. The video also shows the difference between

DSE when an ASIC or a FPGA is targeted.

SystemC Part 5 Verification

Verification of synthesized SystemC program using cycle accurate models and RTL simulations

SystemC part4 Logic Synthesis

Logic synthesis using Xilinx ISE of the Verilog generated by the HLS tool from the FIR SystemC description

SystemC part3 High-Level Synthesis

SystemC synthesis using a commercial High-Level Synthesis tool, targeting a Xilinx Virtex5 FPGA

Installing SystemC

SystemC synthesis using a commercial High-Level Synthesis tool, targeting a Xilinx Virtex5 FPGA

Downloading Synthesizable SystemC benchmarks (S2Cbench) suite

SystemC synthesis using a commercial High-Level Synthesis tool, targeting a Xilinx Virtex5 FPGA