pintest_kernel.prj
set_option -technology VIRTEX
set_option -part XCV800
set_option -package FG680
set_option -speed_grade -5
add_file -constraint pintest_kernel.sdc
set_option -fanout_limit 100
set_option -maxfan_hard false
set_option -force_gsr false
set_option -symbolic_fsm_compiler 0
set_option -resource_sharing 1
set_option -pipe 1
add_file -verilog "virtex.v"
add_file -verilog "zeroone.v"
add_file -verilog "delay128.v"
add_file -verilog "listener.v"
add_file -verilog "pintest.v"
add_file -verilog "pintest_ctrl.v"
add_file -verilog "pintest_kernel.v"