set_attr lib_search_path LIBRARY/lib set_attr hdl_search_path RTL
set_attr library /home/student/Desktop/22MVD1002/slow.lib
read_hdl counter.v
elaborate
read_sdc CONSTRAINTS/constraints_top.sdc
#set_attr_dft_scan_style muxed_scan
#set_attr dft_prefix dft_
#define_dft shift_enable -name SE -active high -create_port SE
#check_dft_rules
set_attribute syn_generic_effort medium
syn_generic
set_attribute syn_map_effort medium
syn_map
set_attribute syn_opt_effort medium syn_opt
#check_dft_rules
#set_attr_dft_min_number_of_scan_chains 2 /designs/counter #define_dft_scan_chain -name top_chain -sdi scan_in -sdo scan_out -create_ports
#connect_scan_chains -auto_create_chains -preview
#connect_scan_chains -auto_create_chains
syn_opt-incr
gui_show
#report_scan_chains
#write_dft_atpg -library /home/student/Desktop/22MVD1002/LIBRARY/lib/180/slow.lib write_hdl > counter_netlist.v
write_sdc> counter_sdc_beforedft.sdc write_sdf - nonegchecks -edges check_edge -timescale ns -recrem split > delays_beforedft.sdf
#write_scandef > counter_scanDEF.scandef report_timing > counter_timing.rep
report_area > counter_area.rep report_power > counter_power.rep
report_gates > counter_gates.rep
scan dft
set_attr lib_search_path LIBRARY/lib set_attr hdl_search_path RTL
set_attr library /home/student/Desktop/22MVD1002/dft_22MVD1002/slow.lib
read_hdl counter.v
elaborate
read_sdc CONSTRAINTS/constraints_top.sdc
set_attr dft_scan_style muxed_scan
set_attr dft_prefix dft_
define_dft shift_enable -name SE -active high -create_port SE check_dft_rules
set_attribute syn_generic_effort medium
syn_generic
set_attribute syn_map_effort medium
syn_map
set_attribute syn_opt_effort medium
syn_opt
check_dft_rules
set_attr dft_min_number_of_scan_chains 2 /designs/counter define_dft scan_chain -name top_chain -sdi scan_in -sdo scan_out -create_ports
connect_scan_chains -auto_create_chains -preview connect_scan_chains -auto_create_chains
syn_opt -incr
gui_show report_scan_chains
write_dft_atpg -library /home/student/Desktop/22MVD1002/dft_22MVD1002/LIBRARY/lib/180/slow.lib
write_hdl > counter_netlist_dft.v
write_sdc > counter_sdc.sdc
write_sdf -nonegchecks -edges check_edge -timescale ns -recrem split > delays_dft.sdf
write_scandef > counter_scanDEF.scandef report_timing > counter1_timing.rep
report_area > counter1_area.rep
report_power > counter1_power.rep
report_gates > counter1_gates.rep