aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Add mac.sh and macc_tb.v for testingEddie Hung2019-09-192-0/+99
* Merge remote-tracking branch 'origin/clifford/fix1381' into xc7dspEddie Hung2019-09-191-0/+41
|\
| * Added extractinv passMarcin Kościelnicki2019-09-191-0/+41
* | Format macc.vEddie Hung2019-09-191-8/+8
* | Remove statEddie Hung2019-09-181-1/+0
* | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-181-2/+26
|\|
| * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-182-13/+175
| |\
| | * OopsEddie Hung2019-09-131-1/+1
| | * Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
| | * Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-2/+2
* | | Add .gitignoreEddie Hung2019-09-181-0/+1
* | | Refine macc testcaseEddie Hung2019-09-182-9/+17
* | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-123-1/+63
|\| |
| * | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclockDavid Shah2019-09-121-0/+12
| |\ \
| | * | Add equiv_opt -multiclockDavid Shah2019-09-111-0/+12
| * | | Add -match-init option to dff2dffs.Marcin Kościelnicki2019-09-111-0/+50
| |/ /
| * | tests: ice40: fix div_mod SB_LUT4 countSean Cross2019-09-101-1/+1
* | | Add AREG=2 BREG=2 testEddie Hung2019-09-111-2/+6
* | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-0/+71
|\ \ \ | | |/ | |/|
| * | Cope with presence of reset muxes tooEddie Hung2019-09-111-0/+39
| * | Add more testsEddie Hung2019-09-111-0/+32
* | | Update test with a/b resetEddie Hung2019-09-111-2/+4
* | | Extend test for RSTP and RSTMEddie Hung2019-09-112-3/+50
* | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-1/+18
|\| |
| * | proc instead of prepEddie Hung2019-09-111-2/+2
| * | Add unsigned caseEddie Hung2019-09-111-0/+17
* | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-6/+6
|\| |
| * | Missing equiv_opt -assertEddie Hung2019-09-061-1/+1
| * | Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+2
| * | Usee equiv_opt -assertEddie Hung2019-09-061-3/+3
* | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-112-7/+105
|\ \ \ | | |/ | |/|
| * | techmap: Add support for extracting init values of portsMarcin Kościelnicki2019-09-071-0/+98
| * | Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-09-061-1/+3
| |\ \
| * | | Add missing -assert to equiv_optEddie Hung2019-09-061-7/+7
* | | | Add SIMD testEddie Hung2019-09-091-0/+25
* | | | Update macc testEddie Hung2019-09-062-42/+42
* | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-052-21/+63
|\ \ \ \ | | |_|/ | |/| |
| * | | simple/peepopt.v tests to various/peepopt.ys with equiv_opt & selectEddie Hung2019-09-052-21/+63
| * | | Revert "abc9 followed by clean otherwise netlist could be invalid for sim"Eddie Hung2019-09-051-1/+0
| * | | abc9 followed by clean otherwise netlist could be invalid for simEddie Hung2019-09-041-0/+1
* | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-051-1/+3
|\ \ \ \ | | |_|/ | |/| |
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-043-2/+29
| |\ \ \ | | | |/ | | |/|
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-022-7/+10
| |\ \ \
| * | | | Make abc9 test a bit more interestingEddie Hung2019-08-301-1/+3
* | | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-041-0/+8
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | Add peepopt_dffmuxext testsEddie Hung2019-09-041-0/+8
| | |_|/ | |/| |
* | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-045-9/+39
|\| | |
| * | | Expand test with `hierarchy' without -auto-topEddie Hung2019-09-031-0/+7
| * | | Add `read -noverific` before readEddie Hung2019-09-031-0/+1
| * | | Merge remote-tracking branch 'origin/master' into eddie/deferred_topEddie Hung2019-09-0345-36/+1009
| |\ \ \
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-24 02:24:50 +0000