diff options
| author | SergeyDegtyar <sndegtyar@gmail.com> | 2019-09-18 12:16:04 +0300 |
|---|---|---|
| committer | SergeyDegtyar <sndegtyar@gmail.com> | 2019-09-18 12:16:04 +0300 |
| commit | 5eb91fa69fc62482d09c1927b3a6f8164dee9408 (patch) | |
| tree | 9eea8b7006f690878c2d4dc9d1950e5154e5a057 /tests | |
| parent | c597c2f2ae10111b2dc28e9738ea336d8ad22b31 (diff) | |
| download | yosys-5eb91fa69fc62482d09c1927b3a6f8164dee9408.tar.gz yosys-5eb91fa69fc62482d09c1927b3a6f8164dee9408.tar.bz2 yosys-5eb91fa69fc62482d09c1927b3a6f8164dee9408.zip | |
Add comment to dpram test about related issue.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ecp5/dpram.ys | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/ecp5/dpram.ys b/tests/ecp5/dpram.ys index 786dee134..3bc6bc1d0 100644 --- a/tests/ecp5/dpram.ys +++ b/tests/ecp5/dpram.ys @@ -8,6 +8,7 @@ opt -full miter -equiv -flatten -make_assert -make_outputs gold gate miter +#Blocked by issue #1358 (Missing ECP5 simulation models) #ERROR: Failed to import cell gate.mem.0.0.0 (type DP16KD) to SAT database. #sat -verify -prove-asserts -seq 3 -set-init-zero -show-inputs -show-outputs miter |