Commit cdaf07d
File tree
8 files changed
+863
-801
lines changed- flow/designs
- asap7
- ibex
- mock-alu
- gf180/ibex
- tools
8 files changed
+863
-801
lines changedLarge diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
| |||
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
55 | | - | |
| 55 | + | |
56 | 56 | | |
57 | 57 | | |
58 | 58 | | |
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
| 31 | + | |
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
| |||
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
15 | | - | |
| 15 | + | |
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
23 | | - | |
| 23 | + | |
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
| 31 | + | |
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | | - | |
| 43 | + | |
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
47 | | - | |
| 47 | + | |
48 | 48 | | |
49 | 49 | | |
50 | 50 | | |
| |||
- .github/workflows/test-linux.yml-1
- .github/workflows/test-macos.yml+1-2
- CHANGELOG+21
- Makefile+86-89
- README.md+8-2
- backends/aiger/aiger.cc+20
- backends/blif/blif.cc+3
- backends/cxxrtl/Makefile.inc+9
- backends/cxxrtl/cxxrtl_backend.cc+180-139
- backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc+6-6
- backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h+7-2
- backends/cxxrtl/runtime/cxxrtl/cxxrtl.h+88-27
- backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h+117-28
- backends/edif/edif.cc+3
- backends/firrtl/firrtl.cc+3
- backends/json/json.cc+4
- backends/smt2/smt2.cc+12-1
- backends/smt2/smtbmc.py+85-10
- backends/smt2/smtbmc_incremental.py+83-12
- backends/smt2/smtio.py+97-9
- backends/smv/smv.cc+3
- backends/spice/spice.cc+3
- backends/verilog/verilog_backend.cc+7
- docs/source/CHAPTER_Basics.rst+1-1
- docs/source/CHAPTER_CellLib.rst+1-1
- examples/cxx-api/scopeinfo_example.cc+144
- frontends/ast/ast.cc+37-13
- frontends/ast/ast.h+15-7
- frontends/ast/genrtlil.cc+2-2
- frontends/ast/simplify.cc+273-357
- frontends/verific/verific.cc+1
- frontends/verilog/verilog_parser.y+25-12
- kernel/celledges.cc+150-7
- kernel/celltypes.h+1
- kernel/driver.cc+8-1
- kernel/register.cc+40
- kernel/rtlil.cc+9
- kernel/rtlil.h+1-1
- kernel/satgen.cc+5
- kernel/scopeinfo.cc+129
- kernel/scopeinfo.h+432
- kernel/yosys.cc+8-20
- libs/ezsat/Makefile+2-3
- libs/subcircuit/Makefile+5-6
- misc/yosys-config.in+12-7
- passes/cmds/connect.cc+15-14
- passes/cmds/rename.cc+14-1
- passes/cmds/show.cc+27-9
- passes/cmds/stat.cc+21-7
- passes/equiv/equiv_simple.cc+2
- passes/memory/memory_collect.cc+3
- passes/memory/memory_libmap.cc+3
- passes/memory/memory_map.cc+3
- passes/memory/memory_memx.cc+1-1
- passes/memory/memory_narrow.cc+3
- passes/memory/memory_share.cc+5-1
- passes/opt/opt_clean.cc+9-2
- passes/opt/opt_mem.cc+3
- passes/opt/opt_merge.cc+3
- passes/proc/proc_dlatch.cc+11-5
- passes/proc/proc_rom.cc+5
- passes/sat/clk2fflogic.cc+2-1
- passes/sat/eval.cc+2-2
- passes/techmap/Makefile.inc+1-1
- passes/techmap/dfflibmap.cc+58-23
- passes/techmap/flatten.cc+96-18
- passes/techmap/techmap.cc+2-2
- techlibs/common/simlib.v+7
- techlibs/common/synth.cc+22-3
- tests/gen-tests-makefile.sh+2-2
- tests/proc/proc_rom.ys+23
- tests/sat/sizebits.sv+33-2
- tests/simple/arrays03.sv+49
- tests/simple/memory.v+1
- tests/sva/runtest.sh+21-4
- tests/svtypes/multirange_array.sv+12
- tests/svtypes/struct_array.sv+45
- tests/svtypes/struct_sizebits.sv+25
- tests/techmap/dfflibmap.ys+7
- tests/unit/Makefile+1-1
- tests/various/celledges_shift.ys+1
- tests/various/clk2fflogic_effects.sh+20-12
- tests/various/clk2fflogic_effects.sv+21-2
- tests/various/scopeinfo.ys+110
- tests/xprop/test.py+2-1
0 commit comments