SDC: abc9: Fix test

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
diff --git a/sdc-plugin/tests/abc9/abc9.sdc b/sdc-plugin/tests/abc9/abc9.input.sdc
similarity index 100%
rename from sdc-plugin/tests/abc9/abc9.sdc
rename to sdc-plugin/tests/abc9/abc9.input.sdc
diff --git a/sdc-plugin/tests/abc9/abc9.tcl b/sdc-plugin/tests/abc9/abc9.tcl
index 22766a1..ba71334 100644
--- a/sdc-plugin/tests/abc9/abc9.tcl
+++ b/sdc-plugin/tests/abc9/abc9.tcl
@@ -5,8 +5,8 @@
 # ensure abc9.D is unset
 scratchpad -assert-unset abc9.D
 
-read_verilog abc9.v
-read_sdc abc9.sdc
+read_verilog $::env(DESIGN_TOP).v
+read_sdc $::env(DESIGN_TOP).input.sdc
 
 # check that abc9.D was set to half the fastest clock period in the design
 scratchpad -assert abc9.D 5000