Newbie level 6
I want to use LEC to compare the Frontend netlist with the PR netlist, need to add some user mapping. add_mapped_points one by one is too slow. I found the command set_analyze_option -mapping_file <file>, but I don't know the file format. Can someone help me? Thanks a lot!