read_verilog ../top.v
 extract -map top.v -perm u x u