3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-23 20:58:55 +00:00
yosys/tests
2020-04-23 11:03:28 +02:00
..
aiger tests/aiger: Add missing .gitignore 2020-02-15 19:52:21 +01:00
arch intel_alm: work around a Quartus ICE 2020-04-23 11:03:28 +02:00
asicworld
bram
errors
fsm
hana
liberty
lut
memfile Added 'set -e' into tests/memfile/run-test.sh 2020-02-06 10:45:40 -03:00
memories
opt opt_expr: Fix X and CO outputs for $alu identity-mapping rules. 2020-04-16 11:48:29 +02:00
opt_share
proc proc_clean: fix order of switch insertion. 2019-08-19 16:44:23 +00:00
realmath
rpc rpc test: make frontend listen before launching yosys & introduce safeguard if yosys errors 2020-03-06 15:29:01 +01:00
sat Merge pull request #1638 from YosysHQ/eddie/fix1631 2020-02-05 19:31:18 +01:00
select Merge pull request #1949 from YosysHQ/eddie/select_blackbox 2020-04-22 15:35:05 -07:00
share
simple Add dynamic slicing Verilog testcase 2020-03-31 11:51:31 -07:00
simple_abc9 Update simple_abc9 tests 2020-02-27 10:17:29 -08:00
smv
sva
svinterfaces
svtypes support using previously declared types/localparams/params in package 2020-04-07 00:38:15 -04:00
techmap tests: zinit for new types 2020-04-14 13:08:37 -07:00
tools
unit
various Merge pull request #1973 from YosysHQ/eddie/fix1966 2020-04-22 10:19:30 -07:00
vloghtb