read_verilog example.v
read_liberty -lib osu035_stdcells.lib

synth -top top

dfflibmap -liberty osu035_stdcells.lib
abc -liberty osu035_stdcells.lib
opt_clean

stat -liberty osu035_stdcells.lib
write_edif example.edif