define_design_lib WORK -path ./WORK
set search_path ./
set suppress_errors {IFS-001}
set sh_continue_on_error true
set verilogout_no_tri true
 
## Setting up target libraries
set_app_var target_library {
/home/UFAD/a.chatterjee/Desktop/lab_work/oasis/lib/gsc/db/gscl45nm.db
}
 
## Setting up link libraries
set_app_var link_library {
/home/UFAD/a.chatterjee/Desktop/lab_work/oasis/lib/gsc/db/gscl45nm.db
}
 
## Setting up the HDL files
analyze -f sverilog combinational_trojan_1.sv
 
## Elaborating the top module
elaborate combinational_trojan_1

check_design
check_timing

 
set_max_area 0
compile -ungroup_all -area_effort high -map_effort high
 
 
## Dump the top module
write -f verilog -o ./combinational_trojan_1/combinational_trojan_1_synth.v
report_area > ./combinational_trojan_1/combinational_trojan_1_area.rpt
report_power > ./combinational_trojan_1/combinational_trojan_1_power.rpt
report_timing > ./combinational_trojan_1/combinational_trojan_1_timing.rpt
quit

