generated bitfile from PS7.bsv (but not hand checked yet!)