3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-01 06:37:51 +00:00
yosys/tests
2020-04-03 14:28:22 -07:00
..
aiger
arch Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor 2020-04-01 14:17:01 -07:00
asicworld
bram
errors
fsm
hana
liberty
lut
memfile
memories
opt Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor 2020-04-01 14:17:01 -07:00
opt_share
proc
realmath
rpc rpc test: make frontend listen before launching yosys & introduce safeguard if yosys errors 2020-03-06 15:29:01 +01:00
sat
select Do not warn on empty selection with prefixed arg_memb. 2020-03-23 17:50:11 +00:00
share
simple Add dynamic slicing Verilog testcase 2020-03-31 11:51:31 -07:00
simple_abc9
smv
sva
svinterfaces
svtypes Support module/package/interface/block scope for typedef names. 2020-03-23 20:07:22 +00:00
techmap +/cmp2lcu.v to work efficiently for fully/partially constant inputs 2020-04-03 14:28:22 -07:00
tools
unit
various Add support for SystemVerilog-style `define to Verilog frontend 2020-03-27 16:08:26 +00:00
vloghtb