tree fd5787a7888dee3d185e47d9d4c58799bb1bfc02
parent 301ad912f2a67d04dcc85c83c12d60133864f1fd
author Zachary Snow <zach@zachjs.com> 1595712164 -0400
committer Philipp Wagner <mail@philipp-wagner.com> 1595973333 +0100

[util/syn_yosys] fix yosys/sv2v flow

- Adjust key point mapping method to fix false non-equivalences in rv_dm and to
  improve performance, and per recommendations from Cadence support staff
- Skip checking full top_earlgrey, for now
- Remove now unneeded hacks for past sv2v issues
- Workaround unsupported strengths in prim_generic_pad_wrapper.sv
- Compatibility with BSD-style sed
- Remove checked-in lec_sv2v.do swapfile
- Limit number of threads used by sv2v (faster conversion)

With these changes, all of the modules pass verification, and the converted
result successfully passes the Yosys frontend.

Tool versions:
- sv2v v0.0.5
- Yosys 0.9+2406 (git sha1 9bcde4d, gcc 4.8.5 -fPIC -Os)
- LEC version 19.10-s300 (24-Aug-2019)

Signed-off-by: Zachary Snow <zach@zachjs.com>