| 2019-12-17 |
Clifford Wolf | Fix sim for assignments with lhs<rhs size, fixes #1565
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-22 |
Clifford Wolf | Add "opt_mem" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-22 |
Clifford Wolf | Add Verific support for SVA nexttime properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-22 |
Clifford Wolf | Improve handling of verific primitives in "verific...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-22 |
Clifford Wolf | Add Verific SVA support for "always" properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-20 |
Clifford Wolf | Correctly treat empty modules as blackboxes in Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-20 |
Clifford Wolf | Do not rename VHDL entities to "entity(impl)" when...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-14 |
Clifford Wolf | Merge branch 'makaimann-label-bads-btor'
|
commit | commitdiff | tree |
| 2019-11-14 |
Clifford Wolf | Use cell name for btor bad state props when it is a...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-14 |
Clifford Wolf | Merge branch 'label-bads-btor' of https://github.com...
|
commit | commitdiff | tree |
| 2019-11-13 |
Clifford Wolf | Add "autoname" pass and use it in "synth_ice40"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-12 |
Clifford Wolf | Update fsm_detect bugfix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-12 |
Clifford Wolf | Bugfix in fsm_detect
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-11 |
Clifford Wolf | Do not map $eq and $ne in cmp2lut, only proper arithmetic cmp
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-07 |
Clifford Wolf | Add check for valid macro names in macro definitions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-11-04 |
Clifford Wolf | Fix write_aiger bug added in 524af21
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-31 |
Clifford Wolf | Add CodingReadme section on script passes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-24 |
Clifford Wolf | Improve naming scheme for (VHDL) modules imported from...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-24 |
Clifford Wolf | Add "verific -L"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-22 |
Clifford Wolf | Bugfix in smtio vcd handling of $-identifiers
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-21 |
Clifford Wolf | Add "verilog_defines -list" and "verilog_defines -reset"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-21 |
Clifford Wolf | Fix handling of "restrict" in Verific front-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-16 |
Clifford Wolf | Fix dffmux peepopt init handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-16 |
Clifford Wolf | Move GENERATE_PATTERN macro to separate utility header
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-16 |
Clifford Wolf | Disable left-over log_debug in peepopt_dffmux.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-16 |
Clifford Wolf | Fix parsing of .cname BLIF statements
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-15 |
Clifford Wolf | Add .blackbox support to blif front-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-14 |
Clifford Wolf | Use "(id)" instead of "id" for types as temporary hack
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-03 |
Clifford Wolf | Change smtbmc "Warmup failed" status to "PREUNSAT"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-03 |
Clifford Wolf | Update ABC to git rev 623b5e8
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-03 |
Clifford Wolf | Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-03 |
Clifford Wolf | Add "check -allow-tbuf"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-02 |
Clifford Wolf | Add "check -mapped"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-10-02 |
Clifford Wolf | Fix btor back-end to use "state" instead of "input...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-30 |
Clifford Wolf | Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-30 |
Clifford Wolf | Fix $dlatch handling in async2sync
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-25 |
Clifford Wolf | Improve "portlist" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-24 |
Clifford Wolf | Add "portlist" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-20 |
Clifford Wolf | Fix handling of read_verilog config in AstModule::reprocess_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-20 |
Clifford Wolf | Update CHANGELOG
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-20 |
Clifford Wolf | Add "add -mod"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-19 |
Clifford Wolf | Add techmap_autopurge attribute, fixes #1381
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-18 |
Clifford Wolf | Add "write_aiger -L"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-18 |
Clifford Wolf | Fix stupid bug in btor back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-16 |
Clifford Wolf | Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-16 |
Clifford Wolf | Fix handling of range selects on loop variables, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-13 |
Clifford Wolf | Fix handling of z_digit "?" and fix optimization of...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-13 |
Clifford Wolf | Fix lexing of integer literals without radix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-12 |
Clifford Wolf | Fix lexing of integer literals, fixes #1364
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-10 |
Clifford Wolf | Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-05 |
Clifford Wolf | Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-05 |
Clifford Wolf | Update README.md
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-05 |
Clifford Wolf | Rename conflicting wires on flatten/techmap, add "hierconn...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-05 |
Clifford Wolf | Add flatten handling of pre-existing wires as created...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-09-02 |
Clifford Wolf | Properly construct $live and $fair cells from "if ...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-29 |
Clifford Wolf | Bump YOSYS_VER
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-28 |
Clifford Wolf | Fix typo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-28 |
Clifford Wolf | Add "paramap" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-28 |
Clifford Wolf | Add $dlatch support to async2sync
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-27 |
Clifford Wolf | Add "make bumpversion"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-26 |
Clifford Wolf | Merge tag 'yosys-0.9'
|
commit | commitdiff | tree |
| 2019-08-26 |
Clifford Wolf | Yosys 0.9
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-23 |
Clifford Wolf | Fix port hanlding in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-23 |
Clifford Wolf | Add pmgen slices and choices
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-22 |
Clifford Wolf | Bump year in copyright notice
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-22 |
Clifford Wolf | Bump year in copyright notice
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-22 |
Clifford Wolf | Fix missing newline at end of file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-22 |
Clifford Wolf | Fix missing newline at end of file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-20 |
Clifford Wolf | Add test case for real parameters
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-19 |
Clifford Wolf | Add *.sv to tests/simple_abc9/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-19 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Fix erroneous ifndef-NDEBUG in verific.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Speed up "make test" and related cleanups
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Add test for pmtest_test "reduce" demo pattern
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Refactor pmgen rollback mechanism
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Improvements in "test_pmgen -generate"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-17 |
Clifford Wolf | Add pmgen "fallthrough" statement
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Minor bugfix in "test_pmgen -generate"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Do not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Add pmgen finish statement, return number of matches
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Redesign pmgen backtracking for recursive matching
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Add pmgen "generate" feature
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Refactor demo_reduce into test_pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-16 |
Clifford Wolf | Add missing NMUX to "abc -g" handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-15 |
Clifford Wolf | Add doc for pmgen semioptional statement, Add pmgen...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-15 |
Clifford Wolf | Update pmgen documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-15 |
Clifford Wolf | Change pmgen default rule to reject, switch peepopt...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-15 |
Clifford Wolf | Add demo_reduce pass to demonstrace recursive pattern...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-15 |
Clifford Wolf | Improvements in pmgen for recursive patterns
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-13 |
Clifford Wolf | Fix various NDEBUG compiler warnings, closes #1255
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-11 |
Clifford Wolf | Add YOSYS_NO_IDS_REFCNT configuration macro
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-11 |
Clifford Wolf | Use ID() in kernel/*, add simple ID:: hack (to be improved...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-11 |
Clifford Wolf | More improvements and cleanups in IdString subsystem
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-11 |
Clifford Wolf | Use ID() macro in all of passes/opt/
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-11 |
Clifford Wolf | Improve API of ID() macro
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-09 |
Clifford Wolf | Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-07 |
Clifford Wolf | Automatically prune init attributes in verific front...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-07 |
Clifford Wolf | Tweak default gate costs, cleanup "stat -tech cmos"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-06 |
Clifford Wolf | Redesign of cell cost API
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-08-06 |
Clifford Wolf | Be less aggressive with running design->check()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| next |
projects / yosys.git / search