Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | frontend: Make helper functions for printing locations. | Marcelina Kościelnicka | 2021-02-23 | 4 | -57/+71 |
| | |||||
* | Merge pull request #2594 from zachjs/func-arg-width | whitequark | 2021-02-23 | 10 | -47/+124 |
|\ | | | | | verilog: fix sizing of constant args for tasks/functions | ||||
| * | verilog: fix sizing of constant args for tasks/functions | Zachary Snow | 2021-02-21 | 10 | -47/+124 |
| | | | | | | | | | | | | | | | | | | | | | | | | - Simplify synthetic localparams for normal calls to update their width - This step was inadvertently removed alongside `added_mod_children` - Support redeclaration of constant function arguments - `eval_const_function` never correctly handled this, but the issue was not exposed in the existing tests until the recent change to always attempt constant function evaluation when all-const args are used - Check asserts in const_arg_loop and const_func tests - Add coverage for width mismatch error cases | ||||
* | | int -> bool | Robert Baruch | 2021-02-23 | 1 | -2/+2 |
| | | |||||
* | | Adds is_wire to SigBit and SigChunk | Robert Baruch | 2021-02-23 | 1 | -0/+3 |
| | | | | | | Useful for PYOSYS because Python can't easily check wire against NULL. | ||||
* | | machxo2: Switch to LUT4 sim model which propagates less undefined/don't care ↵ | William D. Jones | 2021-02-23 | 2 | -12/+6 |
| | | | | | | | | values. | ||||
* | | machxo2: Update tribuf test to reflect active-low OE. | William D. Jones | 2021-02-23 | 1 | -1/+2 |
| | | |||||
* | | machxo2: Add experimental status to help. | William D. Jones | 2021-02-23 | 1 | -1/+1 |
| | | |||||
* | | machxo2: Add DCCA and DCMA blackbox primitives. | William D. Jones | 2021-02-23 | 1 | -0/+17 |
| | | |||||
* | | machxo2: Fix reversed interpretation of REG_SD config bits. | William D. Jones | 2021-02-23 | 1 | -2/+2 |
| | | |||||
* | | machxo2: Tristate is active-low. | William D. Jones | 2021-02-23 | 2 | -5/+5 |
| | | |||||
* | | machxo2: Fix typos in FACADE_FF sim model. | William D. Jones | 2021-02-23 | 1 | -5/+4 |
| | | |||||
* | | machxo2: Fix naming of TRELLIS_IO ports to match PIO pins in routing graph. | William D. Jones | 2021-02-23 | 2 | -6/+6 |
| | | |||||
* | | machxo2: Improve help_mode output in synth_machxo2. | William D. Jones | 2021-02-23 | 1 | -5/+5 |
| | | |||||
* | | machxo2: Use attrmvcp pass to move LOC and src attributes from ports/wires ↵ | William D. Jones | 2021-02-23 | 2 | -1/+17 |
| | | | | | | | | to IO cells. | ||||
* | | machxo2: Add missing OSCH oscillator primitive. | William D. Jones | 2021-02-23 | 1 | -0/+10 |
| | | |||||
* | | machxo2: Add believed-to-be-correct tribuf test. | William D. Jones | 2021-02-23 | 1 | -0/+9 |
| | | |||||
* | | machxo2: Add passing fsm, mux, and shifter tests. | William D. Jones | 2021-02-23 | 3 | -0/+65 |
| | | |||||
* | | machxo2: Add add_sub test. Fix tests to include FACADE_IO primitives. | William D. Jones | 2021-02-23 | 3 | -3/+11 |
| | | |||||
* | | machxo2: Add -noiopad option to synth_machxo2. | William D. Jones | 2021-02-23 | 1 | -2/+11 |
| | | |||||
* | | machxo2: Use correct INITVAL for LUT1 in FACADE_SLICE. | William D. Jones | 2021-02-23 | 1 | -1/+1 |
| | | |||||
* | | machxo2: Fix cells_sim typo where OFX1 was multiply-driven. | William D. Jones | 2021-02-23 | 1 | -1/+1 |
| | | |||||
* | | machxo2: synth_machxo2 now maps ports to FACADE_IO. | William D. Jones | 2021-02-23 | 2 | -0/+12 |
| | | |||||
* | | machxo2: Add initial value for Q in FACADE_FF. | William D. Jones | 2021-02-23 | 1 | -0/+2 |
| | | |||||
* | | machxo2: Add FACADE_IO simulation model. More comments on models. | William D. Jones | 2021-02-23 | 1 | -0/+25 |
| | | |||||
* | | machxo2: Add FACADE_SLICE simulation model. | William D. Jones | 2021-02-23 | 1 | -0/+83 |
| | | |||||
* | | machxo2: Improve FACADE_FF simulation model. | William D. Jones | 2021-02-23 | 1 | -12/+20 |
| | | |||||
* | | machxo2: Improve LUT4 techmap. Use same output port name for LUT4 as Lattice. | William D. Jones | 2021-02-23 | 2 | -4/+4 |
| | | |||||
* | | machxo2: Add dffe test. | William D. Jones | 2021-02-23 | 1 | -0/+9 |
| | | |||||
* | | machxo2: Add dff.ys test, fix another cells_map.v typo. | William D. Jones | 2021-02-23 | 2 | -1/+11 |
| | | |||||
* | | machxo2: Fix more oversights in machxo2 models. logic.ys test passes. | William D. Jones | 2021-02-23 | 2 | -2/+6 |
| | | |||||
* | | machxo2: Add test/arch/machxo2 directory (test does not pass). | William D. Jones | 2021-02-23 | 4 | -0/+15 |
| | | |||||
* | | machxo2: Fix typos. test/arch/run-test.sh passes. | William D. Jones | 2021-02-23 | 2 | -2/+2 |
| | | |||||
* | | machxo2: Create basic techlibs and synth_machxo2 pass. | William D. Jones | 2021-02-23 | 4 | -0/+320 |
| | | |||||
* | | frontend: json: parse negative values | Karol Gugala | 2021-02-23 | 1 | -2/+10 |
| | | | | | | | | Signed-off-by: Karol Gugala <kgugala@antmicro.com> | ||||
* | | assertpmux: Fix crash on unused $pmux output. | Marcelina Kościelnicka | 2021-02-22 | 2 | -1/+19 |
| | | | | | | | | Fixes #2595. | ||||
* | | Merge pull request #2586 from zachjs/tern-recurse | whitequark | 2021-02-21 | 5 | -19/+195 |
|\ \ | | | | | | | verilog: support recursive functions using ternary expressions | ||||
| * | | verilog: support recursive functions using ternary expressions | Zachary Snow | 2021-02-12 | 5 | -19/+195 |
| | | | | | | | | | | | | | | | | | | | | | This adds a mechanism for marking certain portions of elaboration as occurring within unevaluated ternary branches. To enable elaboration of the overall ternary, this also adds width detection for these unelaborated function calls. | ||||
* | | | Merge pull request #2591 from zachjs/verilog-preproc-unapplied | whitequark | 2021-02-21 | 3 | -1/+32 |
|\ \ \ | |_|/ |/| | | verilog: error on macro invocations with missing argument lists | ||||
| * | | verilog: error on macro invocations with missing argument lists | Zachary Snow | 2021-02-19 | 3 | -1/+32 |
|/ / | | | | | | | | | | | This would previously complain about an undefined internal macro if the unapplied macro had not already been used. If it had, it would incorrectly use the arguments from the previous invocation. | ||||
* | | Bump version | Yosys Bot | 2021-02-18 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #2590 from RobertBaruch/fix_fast_sop_mode | Claire Xen | 2021-02-17 | 1 | -1/+1 |
|\ \ | | | | | | | Fixes command line for abc pass in -fast -sop mode | ||||
| * | | Fixes command line for abc pass in -fast -sop mode | Robert Baruch | 2021-02-16 | 1 | -1/+1 |
|/ / | |||||
* | | Bump version | Yosys Bot | 2021-02-16 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #2574 from dh73/master | Claire Xen | 2021-02-15 | 1 | -0/+5 |
|\ \ | | | | | | | Accept disable case for SVA liveness properties. | ||||
| * | | Accept disable case for SVA liveness properties. | Diego H | 2021-02-04 | 1 | -0/+5 |
| | | | |||||
* | | | Bump version | Yosys Bot | 2021-02-13 | 1 | -1/+1 |
| |/ |/| | |||||
* | | Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct | gatecat | 2021-02-12 | 1 | -0/+115 |
|\ \ | | | | | | | nexus: Add MULTADDSUB9X9WIDE sim model | ||||
| * | | nexus: Add MULTADDSUB9X9WIDE sim model | David Shah | 2020-12-08 | 1 | -0/+115 |
| | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | Ganulate Verific support | Miodrag Milanovic | 2021-02-12 | 1 | -8/+16 |
| | | |