Yes! As mindcrime says, Cello is a great platform that compiles Verilog to DNA circuits. Check it out https://github.com/CIDARLAB/cello