Added post-synthesis modules and testbench