Bidirectionalization for Free

Oww, my god, this idea is also in my mind for a long time.
Can we just write the encoder , and generate a decoder automatically?
If use verilog, such an paper can be submitted to both dac and cav and popl.
this is also related to counterexample directed synthesis.