Do you know any similar sequential benchmarks? By similar I mean the ones that provide Verilog and VHDL files.