Started to write on AppNote 010: Verilog to BLIF