Some Commands You Will Need

Some Commands You Will Need

• read_blif_mv (rlmv)
• write_blif_mv (wlmv)
• cd
• ls
• init_verify (init)
• seq_verify
• comb_verify

• print_hierarchy_stats (phs)
• print_network_stats (pns)
• write_blif (wl)
• read_blif (rl) [-e f.enc]
• simulate (sim) [-n 10]

Previous slide

Next slide

Back to the first slide

View Graphic Version