0d6f052893
Re-enable opt_dff_sr equiv_opt checks
7fbb320042
Add "check -assert" to equiv_opt
43958ee548
Add equiv_opt -neghold -negsetup -simple
9d20ed18a8
Exclude primary inputs from quiv_make rewiring
daace6b154
Add clk2fflogic -negsetup
72b5de88c4
Fix bugs in AutoSegment::isMiddleStack() and canReduce().
ddc7aef13b
At last make use of cdebug_log() in Track::repair().
f873e616cb
Use of tset() manipulator instead of setw() when printing in cdebug_log.
e2c9580024
Move interface expansion in hierarchy.cc into a helper class
f2c2d73f36
sv: fix up end label checking
092f0cb01e
Include blif reader header in public facing extension header files.
202feaf50c
Apply automatic changes to Manifest and README.rst
07ae0b060f
[RTL] rtl updates
riscv
synced commits to mpw-one-final-metal-fix at riscv/caravel from mirror
2021-06-16 15:09:03 -05:00
d61bd89ac8
Update chip_io split netlist
19a12ee7bb
Apply automatic changes to Manifest and README.rst
4e349267e7
updated the RTL/GL/SB to include the _pad ports for power
8dd15a79e7
1) create ./lvs directory
f8aa2320c2
added updated gl chip_io.v that matches the chip_io.mag on this commit
riscv
synced new reference gatecat/pyosys-sigint to riscv/yosys from mirror
2021-06-16 14:19:02 -05:00
c6681508f1
verilog: fix leaking of type names in parser
b57e47fad8
verilog: fix wildcard port connections leaking memory
62a42c317c
ast: delete wires and localparams after finishing const evaluation
091295a5a5
verilog: fix leaking ASTNodes
9ca5a91724
ast: fix error condition causing assert to fail
438bcc68c0
Add regression test for #2824.
6a6d049f1c
opt_muxtree: Update port_off and port_idx even for constant bits
riscv
synced and deleted reference 2021-06-09 13:49:03 -05:00
claire/fixemails
at riscv/yosys from mirror
1667ad658b
opt_expr: Fix mul/div/mod by POT patterns to support >= 32 bits.
12b3a9765d
opt_expr: Optimize div/mod by const 1.
55e8f5061a
Merge pull request #2817 from YosysHQ/claire/fixemails
588137cd08
Fix deadname SVN links
2d95a7da9c
Intersynth URL
a734face3a
More deadname stuff
0ada13cbe2
Use HTTPS for website links, gatecat email
92e705cb51
Fix files with CRLF line endings
2e697f5655
verilog: check for module scope identifiers during width detection
c79fbfe0a1
mem2reg: tolerate out of bounds constant accesses
d9f11bb7a6
autoname: simple perf optimizations
riscv
synced commits to libera-JVNl9jWSzau4FgBX at riscv/yosys from mirror
2021-06-01 17:29:02 -05:00