aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
| | | * | | Uncomment sat command in memory.ys test.SergeyDegtyar2019-09-031-2/+1
| | | | | |
| | | * | | Add tests for ECP5 architectureSergeyDegtyar2019-09-0339-0/+3200
| | | | | |
| * | | | | hierarchy - proc reorderMiodrag Milanovic2019-10-184-9/+10
| | | | | |
| * | | | | Cleanup and formatingMiodrag Milanovic2019-10-044-2/+4
| | | | | |
| * | | | | split latches into separate checksMiodrag Milanovic2019-10-042-41/+24
| | | | | |
| * | | | | check muxes per typeMiodrag Milanovic2019-10-042-42/+37
| | | | | |
| * | | | | check ff's separatelyMiodrag Milanovic2019-10-042-26/+14
| | | | | |
| * | | | | Cleanup top modules and not used definesMiodrag Milanovic2019-10-045-44/+5
| | | | | |
| * | | | | remove alu testMiodrag Milanovic2019-10-042-36/+0
| | | | | |
| * | | | | Merge branch 'SergeyDegtyar/anlogic' of ↵Miodrag Milanovic2019-10-0422-0/+535
| |\ \ \ \ \ | | |_|_|/ / | |/| | | | | | | | | | https://github.com/SergeyDegtyar/yosys into mmicko/anlogic
| | * | | | Merge branch 'master' into SergeyDegtyar/anlogicSergey2019-10-0134-55/+1053
| | |\| | |
| | * | | | run-test.sh Move $x at end of line.Sergey2019-10-011-1/+1
| | | | | |
| | * | | | Add new tests for Anlogic architectureSergeyDegtyar2019-09-2322-0/+535
| | | |/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Problems/questions: - memory.ys: ERROR: Failed to import cell gate.mem.0.0.0 (type EG_LOGIC_DRAM16X4) to SAT database. Why EG_LOGIC_DRAM16X4, not AL_LOGIC_BRAM? - Internal cell type $_TBUF_ is present.
* | | | | hierarchy - proc reorderMiodrag Milanovic2019-10-186-13/+15
| | | | |
* | | | | Split mux tests per typeMiodrag Milanovic2019-10-042-38/+36
| | | | |
* | | | | Split latch checkMiodrag Milanovic2019-10-042-45/+24
| | | | |
* | | | | split rest od ff'sMiodrag Milanovic2019-10-043-30/+17
| | | | |
* | | | | Separate check for ff's typesMiodrag Milanovic2019-10-042-47/+48
| | | | |
* | | | | Cleaned testsMiodrag Milanovic2019-10-045-49/+4
| | | | |
* | | | | Remove not needed testsMiodrag Milanovic2019-10-046-75/+0
| | | | |
* | | | | Merge branch 'SergeyDegtyar/efinix' of ↵Miodrag Milanovic2019-10-0430-0/+709
|\ \ \ \ \ | |/ / / / |/| | | | | | | | | https://github.com/SergeyDegtyar/yosys into mmicko/efinix
| * | | | run-test.sh Move $x at end of line.Sergey2019-10-011-1/+1
| | | | |
| * | | | Merge branch 'master' into SergeyDegtyar/efinixSergey2019-10-0134-55/+1053
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | Add new tests for Efinix architecture.SergeyDegtyar2019-09-2330-0/+709
| | |/ / | |/| | | | | | | | | | | | | | | | | | | | | | Problems/questions: - fsm.ys. equiv_opt -assert failed because of unproven cells; - latches.ys,tribuf.ys - internal cells present; - memory.ys - sat called with -verify and proof did fail.
* | | | Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-031-0/+10
|\ \ \ \ | |_|_|/ |/| | | Add -select option to aigmap
| * | | Add quick testEddie Hung2019-09-301-0/+10
| | |/ | |/|
* | | Extend test with renaming cells with prefix tooEddie Hung2019-10-021-0/+2
| | |
* | | Add testEddie Hung2019-09-301-0/+16
|/ /
* | Merge pull request #1406 from whitequark/connect_rpcwhitequark2019-09-306-0/+152
|\ \ | | | | | | rpc: new frontend
| * | rpc: new frontend.whitequark2019-09-306-0/+152
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A new pass, connect_rpc, allows any HDL frontend that can read/write JSON from/to stdin/stdout or an unix socket or a named pipe to participate in elaboration as a first class citizen, such that any other HDL supported by Yosys directly or indirectly can transparently instantiate modules handled by this frontend. Recognizing that many HDL frontends emit Verilog, it allows the RPC frontend to direct Yosys to process the result of instantiation via any built-in Yosys frontend. The resulting RTLIL is then hygienically integrated into the overall design.
* | | Add latch test modified from #1363Eddie Hung2019-09-302-0/+73
| | |
* | | Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-2910-11/+325
|\ \ \ | | | | | | | | DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| * \ \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-231-0/+62
| |\ \ \
| * | | | Add more complicated macc testcaseEddie Hung2019-09-192-5/+39
| | | | |
| * | | | 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
| |\ \ \ \
| * | | | | 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
| |\ \ \ \ \
| * | | | | | 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
| |\ \ \ \ \ \
| * | | | | | | 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
| |\ \ \ \ \ \ \
| * | | | | | | | 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
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-6/+6
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-112-7/+105
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | Add SIMD testEddie Hung2019-09-091-0/+25
| | | | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-09 14:31:44 +0000