|  | Commit message (Collapse) | Author | Age | Files | Lines | 
|---|
| ... |  | 
| |/ / / / |  | 
| |\ \ \ \  
| |/ / /  
|/| | | | satgen: Move importCell out of the header. | 
| |/ / /  
| | |   
| | |   
| | |   
| | | | This function has no hope of ever getting inlined anyway, and it speeds
up yosys compile time by 7%. | 
| |\ \ \  
| | | | 
| | | | | sf2: Emit CLKINT even if -clkbuf not passed | 
| |/ / /  
| | |   
| | |   
| | | | This restores pre #2229 behavior. | 
| |\ \ \  
| | | | 
| | | | | anlogic: Fix FF mapping. | 
| | | | | |  | 
| |\ \ \ \  
| | | | | 
| | | | | | sf2: replace sf2_iobs with {clkbuf,iopad}map | 
| | | | | | |  | 
| |\ \ \ \ \  
| |_|/ / /  
|/| | | | | verilog_backend: in non-SV mode, add a trigger for `always @*` | 
| | | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | | This commit only affects translation of RTLIL processes (for which
there is limited support).
Due to the event-driven nature of Verilog, processes like
    reg x;
    always @*
        x <= 1;
may never execute. This can be fixed in SystemVerilog code by using
`always_comb` instead of `always @*`, but in Verilog-2001 the options
are limited. This commit implements the following workaround:
    reg init = 0;
    reg x;
    always @* begin
        if (init) begin end
        x <= 1;
    end
Fixes #2271. | 
| |\| | | | 
| | | | | 
| | | | | | verilog_backend: add `-sv` option, make `-o <filename>.sv` work | 
| | | | | | 
| | | | | 
| | | | | 
| | | | | | See #2271. | 
| |\ \ \ \ \  
| | | | | | 
| | | | | | | anlogic: Use dfflegalize. | 
| | | | | | | |  | 
| |\ \ \ \ \ \  
| | | | | | | 
| | | | | | | | efinix: Nuke efinix_gbuf in favor of clkbufmap. | 
| | | | | | | | |  | 
| |\ \ \ \ \ \ \  
| | | | | | | | 
| | | | | | | | | cxxrtl: fix typo | 
| | | |_|/ / / /  
| |/| | | | | |  | 
| |\ \ \ \ \ \ \  
| | | | | | | | 
| | | | | | | | | Use "bison -Wall -Werror" for verilog front-end | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | 
| |/ / / / / / /  
| | | | | | |   
| | | | | | |   
| | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | 
| |\ \ \ \ \ \ \  
| | | | | | | | 
| | | | | | | | | Restore #2203 and #2244 and fix parser conflicts | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | This commit fixes S/R conflicts introduced by commit 6f9be93.
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | This commit fixes R/R conflicts introduced by commit 7e83a51.
Parameter logic is already defined as part of `param_range_type` rule.
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | 
| | | | | | | | | 
| | | | | | | | 
| | | | | | | | 
| | | | | | | | | This reverts commit 9c120b89ace6c111aa4677616947d18d980b9c1a. | 
| | | | | | | | | |  | 
| | |/ / / / / /  
|/| | | | | | |  | 
| | | | | | | | |  | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | This reverts commit 09ecb9b2cf3ab76841d30712bf70dafc6d47ef67. | 
| |\ \ \ \ \ \ \  
| | | | | | | | 
| | | | | | | | | cxxrtl: expose eval() and commit() via the C API | 
| |/ / / / / / / |  | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | Of standard yosys cells, xilinx_srl only works on $_DFF_?_ and
$_DFFE_?P_, which get upgraded to $_SDFFE_?P?P_ by dfflegalize at the
point where xilinx_srl is called for non-abc9.  Fix this by running
ff_map.v first, resulting in FDRE cells, which are handled correctly. | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | Fixes #2258. | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | Skipping non-selected wires is unsound in an obvious way. | 
| |\ \ \ \ \ \ \  
| |/ / / / / /  
|/| | | | | | | Add AST_EDGE support to AstNode::detect_latch() | 
| |/ / / / / /  
| | | | | |   
| | | | | |   
| | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | 
| |\ \ \ \ \ \  
| | | | | | | 
| | | | | | | | verilog_parser: turn S/R and R/R conflicts into hard errors | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | Fixes #2253. | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | | This reverts commit 7e83a51fc96495c558a31fc3ca6c1a5ba4764f15.
This reverts commit b422f2e4d0b8d5bfa97913d6b9dee488b59fc405.
This reverts commit 7cb56f34b06de666935fbda315ce7c7bd45048b3.
This reverts commit 6f9be939bd7653b0bdcae93a1033a086a4561b68.
This reverts commit 76a34dc5f3a60c89efeaa3378ca0e2700a8aebd2. | 
| |\ \ \ \ \ \ \  
| | | | | | | | 
| | | | | | | | | cxxrtl: add missing extern "C" | 
| | |/ / / / / /  
| | | | | | |   
| | | | | | |   
| | | | | | | | This bug was hidden if a header was generated. | 
| |/ / / / / / |  | 
| | | | | | | |  | 
| | | | | | | |  | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | | | * Fix #2251 - YosysJS ReferenceError: _memset is not defined.
Add '_memset' in emcc EXPORTED_FUNCTIONS in Makefile. | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | | - allow inserting only the input pad cell
- do not insert the usual buffer if the input pad already acts as a
  buffer |