From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 6 May 2019 10:26:15 +0000 (+0200)
Subject: Improve tests/various/specify.ys
X-Git-Tag: yosys-0.9~141^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8c6e94d57c430fc516dbcfbde312dbd7c860477b;p=yosys.git

Improve tests/various/specify.ys

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/tests/various/specify.ys b/tests/various/specify.ys
index 87d98e0a0..a5ca07219 100644
--- a/tests/various/specify.ys
+++ b/tests/various/specify.ys
@@ -8,10 +8,12 @@ cd test2
 select t:$specify2 -assert-count 2
 select t:$specify3 -assert-count 0
 select t:$specrule -assert-count 0
+cd
 write_verilog specify.out
 design -stash gold
 
 read_verilog -specify specify.out
+prep
 cd test
 select t:$specify2 -assert-count 0
 select t:$specify3 -assert-count 1
@@ -20,7 +22,35 @@ cd test2
 select t:$specify2 -assert-count 2
 select t:$specify3 -assert-count 0
 select t:$specrule -assert-count 0
+cd
 design -stash gate
 
-# TODO: How to check $specify and $specrule-s are equivalent?
-#       Otherwise, need more select statements to check parameter values are as expected?
+design -copy-from gold -as gold test
+design -copy-from gate -as gate test
+rename -hide
+rename -enumerate -pattern A_% t:$specify3
+rename -enumerate -pattern B_% t:$specrule r:TYPE=$setup %i
+rename -enumerate -pattern C_% t:$specrule r:TYPE=$hold %i
+select n:A_* -assert-count 2
+select n:B_* -assert-count 2
+select n:C_* -assert-count 2
+equiv_make gold gate equiv
+hierarchy -top equiv
+equiv_struct
+equiv_induct -seq 5
+equiv_status -assert
+design -reset
+
+design -copy-from gold -as gold test2
+design -copy-from gate -as gate test2
+rename -hide
+rename -enumerate -pattern A_% t:$specify2 r:T_RISE_TYP=1 %i
+rename -enumerate -pattern B_% t:$specify2 n:A_* %d
+select n:A_* -assert-count 2
+select n:B_* -assert-count 2
+equiv_make gold gate equiv
+hierarchy -top equiv
+equiv_struct
+equiv_induct -seq 5
+equiv_status -assert
+design -reset