diff options
| author | Jannis Harder <me@jix.one> | 2022-08-25 14:24:31 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-10-07 16:04:51 +0200 |
| commit | 81906aa627ed4a2d232a27a84e050bf86f2f83a6 (patch) | |
| tree | bb32810e3d7996f965a325fc1010c6ac414cfede /tests/techmap/dfflibmap.ys | |
| parent | 051630763741914c3ba3bdf25ea091395dbc00b4 (diff) | |
| download | yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.tar.gz yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.tar.bz2 yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.zip | |
Fix tests for check in equiv_opt
Diffstat (limited to 'tests/techmap/dfflibmap.ys')
| -rw-r--r-- | tests/techmap/dfflibmap.ys | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/techmap/dfflibmap.ys b/tests/techmap/dfflibmap.ys index 04477eb14..b0a7d6b7e 100644 --- a/tests/techmap/dfflibmap.ys +++ b/tests/techmap/dfflibmap.ys @@ -17,9 +17,11 @@ EOT simplemap design -save orig +read_liberty -lib dfflibmap.lib + +equiv_opt -map dfflibmap-sim.v -assert -multiclock dfflibmap -liberty dfflibmap.lib +equiv_opt -map dfflibmap-sim.v -assert -multiclock dfflibmap -prepare -liberty dfflibmap.lib -#equiv_opt -map dfflibmap-sim.v -assert -multiclock dfflibmap -liberty dfflibmap.lib -#equiv_opt -map dfflibmap-sim.v -assert -multiclock dfflibmap -prepare -liberty dfflibmap.lib dfflibmap -prepare -liberty dfflibmap.lib equiv_opt -map dfflibmap-sim.v -assert -multiclock dfflibmap -map-only -liberty dfflibmap.lib |