Fix formatting
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 4 Oct 2019 07:19:17 +0000 (09:19 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Thu, 17 Oct 2019 15:10:42 +0000 (17:10 +0200)
tests/xilinx/adffs.ys

index 7edab67c728c449e32c0c1a19be74d38b8b26742..2d23749ac6f0d5c7be6aa8d0ff205f50c7746179 100644 (file)
@@ -8,8 +8,10 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
 cd adff # Constrain all select calls below inside the top module
 select -assert-count 1 t:BUFG
 select -assert-count 1 t:FDCE
+
 select -assert-none t:BUFG t:FDCE %% t:* %D
 
+
 design -load read
 proc
 hierarchy -top adffn
@@ -19,8 +21,10 @@ cd adffn # Constrain all select calls below inside the top module
 select -assert-count 1 t:BUFG
 select -assert-count 1 t:FDCE
 select -assert-count 1 t:LUT1
+
 select -assert-none t:BUFG t:FDCE t:LUT1 %% t:* %D
 
+
 design -load read
 proc
 hierarchy -top dffs
@@ -30,8 +34,10 @@ cd dffs # Constrain all select calls below inside the top module
 select -assert-count 1 t:BUFG
 select -assert-count 1 t:FDRE
 select -assert-count 1 t:LUT2
+
 select -assert-none t:BUFG t:FDRE t:LUT2 %% t:* %D
 
+
 design -load read
 proc
 hierarchy -top ndffnr
@@ -41,4 +47,5 @@ cd ndffnr # Constrain all select calls below inside the top module
 select -assert-count 1 t:BUFG
 select -assert-count 1 t:FDRE_1
 select -assert-count 1 t:LUT2
-select -assert-none t:BUFG t:FDRE_1 t:LUT2 %% t:* %D
\ No newline at end of file
+
+select -assert-none t:BUFG t:FDRE_1 t:LUT2 %% t:* %D