3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-10 12:59:43 +00:00
yosys/tests
N. Engelhardt 7e3990b681
Merge pull request #4837 from YosysHQ/json_scopinfo_opt
write_json: add option to include $scopeinfo cells
2025-01-10 09:57:22 +00:00
..
aiger
alumacc
arch
asicworld
bind
blif
bram tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
cxxrtl
errors
fmt
fsm
functional
hana
liberty
lut
memfile
memlib
memories
opt test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
opt_share tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
proc
realmath
rpc
sat test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
select
share tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
sim
simple
simple_abc9 tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
smv
sva tests/sva: Skip sva tests that use SBY until SBY is compatible again 2024-03-05 14:37:33 +01:00
svinterfaces
svtypes
techmap test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00
tools
unit
various Merge pull request #4837 from YosysHQ/json_scopinfo_opt 2025-01-10 09:57:22 +00:00
verific
verilog
vloghtb
xprop
gen-tests-makefile.sh