github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-25 16:41:06 +00:00
Code Issues Releases Wiki Activity

Add shregmap -tech xilinx test

Browse Source
This commit is contained in:
Eddie Hung
2019-06-12 08:34:06 -07:00
parent 8691596d19
commit e7a8cdbccf
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests/various/shregmap.ys
View File

@@ -64,3 +64,4 @@ sat -verify -prove-asserts -show-ports -seq 5 miter
# design -load gate
# stat