synth.blif
synth.log