[英语考试]06_Formality_djy part1-intro and quick start.pptVIP

fm_shell (setup) read_verilog –r alu.v fm_shell (setup) set_top -auto Step 1: Read the Reference - Example read_verilog loads design into container The “-r” signifies the (default) reference container This script does not load a technology library into “r” The file alu.v is pure RTL (no mapped logic) “set_top –auto” finds and links the top-level module set_top uses the current container (“r”) The top level module found by Formality is “alu” set_top sets the variable $ref to r:/WORK/alu fm_shell (setup) read_verilog –i alu.vg fm_shell (setup) read_db –i class.db fm_shell (setup) set_top alu_