test: SDF parsing tests.

test/Makemodule.am

@@ -25,6 +25,7 @@ bin_unit_test_SOURCES = \
 	test/test_jit.c \
 	test/test_model.c \
 	test/test_psl.c \
+	test/test_sdf.c \
 	test/test_charset.c \
 	test/test_dump.c \
 	test/test_driver.c

test/sdf/parse1.sdf

@@ -0,0 +1,7 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE I1)
+    )
+)

test/sdf/parse10.sdf

@@ -0,0 +1,14 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE B2.C2)
+        (DELAY
+            (ABSOLUTE
+                (IOPATH (posedge clk_a)       x_q             (0))
+                (IOPATH (negedge clk_b[17])   y_q             (0))
+                (IOPATH (negedge clk_c[2:3])  z_q[1:2]        (0))
+            )
+        )
+    )
+)

test/sdf/parse11.sdf

@@ -0,0 +1,14 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE B2.C2)
+        (DELAY
+            (ABSOLUTE
+                (IOPATH a b (17) )
+                (IOPATH c d ((2.3) (1.2)) )
+                (IOPATH e f ((0) (1) (2.5)) )
+            )
+        )
+    )
+)

test/sdf/parse12.sdf

@@ -0,0 +1,13 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE B2.C2)
+        (DELAY
+            (ABSOLUTE
+                (IOPATH g h (1:2.4:3)     ((:4.7:5) (6.1::7) (8.9:9:))       ((10.00007::) (:11.500:) (::12.99)) )
+                (IOPATH i j () () () () () () () () () () () () ())
+            )
+        )
+    )
+)

test/sdf/parse13.sdf

@@ -0,0 +1,13 @@
+(DELAYFILE
+    (SDFVERSION "Fancy SDF super version 1.0 followed by 2.1 that shall be ignored")
+    (DATE "Dec 17, 1991 14:49:48")
+    (DESIGN "testchip")
+    (VENDOR "Big Chips Inc.")
+    (PROGRAM "New VHDL Compiler")
+    (PROGRAM "Duplicit program entry")
+    (VERSION "1.10.2")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE I1)
+    )
+)

test/sdf/parse14.sdf

@@ -0,0 +1,17 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "DFF")
+        (INSTANCE cache.mem3.bndrx.I103)
+        (LABEL
+            (ABSOLUTE
+                (TCLK_Q (7.54:12.14:19.78) (6.97:13.66:18.47))
+                (TSETUP_D_CLK (3:4:5.6))
+            )
+            (INCREMENT
+                (TCLK_QB (8.16:13.74:20.25) (7.63:14.83:21.42))
+                (THOLD_D_CLK (4:5.6:7))
+            )
+        )
+    )
+)

test/sdf/parse2.sdf

@@ -0,0 +1,7 @@
+(DELAYFILE
+    (SDFVERSION "FOR_SURE_INVALID_SDF_VERSION")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE I1)
+    )
+)

test/sdf/parse3.sdf

@@ -0,0 +1,12 @@
+(DELAYFILE
+    (SDFVERSION "Fancy SDF super version 1.0 followed by 2.1 that shall be ignored")
+    (DESIGN "testchip")
+    (DATE "Dec 17, 1991 14:49:48")
+    (VENDOR "Big Chips Inc.")
+    (PROGRAM "New VHDL Compiler")
+    (VERSION "1.10.2")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE I1)
+    )
+)

test/sdf/parse4.sdf

@@ -0,0 +1,8 @@
+(DELAYFILE
+    (SDFVERSION "IEEE 2.1")
+    (DIVIDER .)
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE TOP/I2)
+    )
+)

test/sdf/parse5.sdf

@@ -0,0 +1,10 @@
+(DELAYFILE
+    (SDFVERSION "IEEE 3.0")
+    (VOLTAGE 1.08:1.2:1.32)
+    (PROCESS "worst")
+    (TEMPERATURE -40:25:125)
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE TOP.I1)
+    )
+)

test/sdf/parse6.sdf

@@ -0,0 +1,8 @@
+(DELAYFILE
+    (SDFVERSION "IEEE 3.0")
+    (TIMESCALE 10ns)
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE TOP.I1)
+    )
+)

test/sdf/parse7.sdf

@@ -0,0 +1,7 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE *)
+    )
+)

test/sdf/parse8.sdf

@@ -0,0 +1,19 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE TOP.DUT.MODULE.A)
+        (DELAY
+            (ABSOLUTE
+                (IOPATH a b (1))
+                (PORT c (2))
+                (INTERCONNECT d e (3))
+            )
+            (INCREMENT
+                (NETDELAY f (4))
+                (DEVICE g (5))
+                (DEVICE (6))
+            )
+        )
+    )
+)

test/sdf/parse9.sdf

@@ -0,0 +1,14 @@
+(DELAYFILE
+    (SDFVERSION "4.0")
+    (CELL
+        (CELLTYPE "AND2")
+        (INSTANCE B2.C2)
+        (DELAY
+            (ABSOLUTE
+                (IOPATH a                   x               (0))
+                (IOPATH top.dut.b[897]      top.dut.x[921]  (0))
+                (IOPATH b[5:2]              x[9:6]          (0))
+            )
+        )
+    )
+)