| Commit message (Collapse) | Author | Age | Files | Lines | 
| ...            |  | 
| | | | | | | |  | 
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
This BRAM mode uses both address ports, making it effectively single-port.
Since memory_bram can't presently map to single-port memories, remove it.
 | 
| | | | | | | |  | 
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
Fixes #3117.
 | 
| | | | | | | |  | 
 | 
| | |/ / / / /  
|/| | | | |   
| | | | | |   
| | | | | |   
| | | | | |    | 
I also removed the unnecessary shadowing of `width_hint` and `sign_hint`
in the corresponding case in `simplify()`.
 | 
| |/ / / / /   | 
 | 
| |\ \ \ \ \  
| | | | | | 
| | | | | |  | 
cxxrtl: demote wires not inlinable only in debug_eval to locals
 | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | |  | 
Fixes #3112.
Co-authored-by: Irides <irides@irides.network>
 | 
| |\ \ \ \ \ \  
| | | | | | | 
| | | | | | |  | 
bugpoint: avoid infinite loop between -connections and -wires
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
Fixes #3113.
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
The preprocessor currently destroys double slash containing escaped
identifiers (for example \a//b ). This is due to next_token trying to
convert single line comments (//) into /* */ comments. This then leads
to an unintuitive error message like this:
ERROR: syntax error, unexpected '*'
This patch fixes the error by recognizing escaped identifiers and
returning them as single token. It also adds a testcase.
 | 
| | | | | | | |  | 
 | 
| |\| | | | | | 
| | | | | | | 
| | | | | | |  | 
Fix null pointer dereference after failing to extract DFF from memory
 | 
| | |/ / / / /  
| | | | | |   
| | | | | |   
| | | | | |    | 
Fixes #3110.
 | 
| |/ / / / /  
| | | | |   
| | | | |   
| | | | |    | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| | | | | |  | 
 | 
| |\ \ \ \ \  
| | | | | | 
| | | | | |  | 
Add YOSYS to the implicitly defined verilog macros in verific
 | 
| |/ / / / /  
| | | | |   
| | | | |   
| | | | |    | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| | | | | |  | 
 | 
| | | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | | 
| | | | |  | 
This should remove instances of zero-width sigspecs in the netlist,
avoiding problems in the Verilog backend with emitting them.
See #3103.
 | 
| |\ \ \ \ \  
| | | | | | 
| | | | | |  | 
cxxrtl: preserve interior memory pointers across reset
 | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | |  | 
Before this commit, values, wires, and memories with an initializer
were value-initialized in emitted C++ code. After this commit, all
values, wires, and memories are default-initialized, and the default
constructor of generated modules calls the reset() method, which
assigns the members that have an initializer.
 | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | |  | 
This makes the depth properly immutable.
 | 
| | | | | | |  | 
 | 
| | | | | | |  | 
 | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | | 
| | | | | |  | 
Without this, empty connections will be always skipped by `dump`, since
they contain no selected wires.  This makes debugging rather confusing.
 | 
| |\ \ \ \ \ \  
| |/ / / / /  
|/| | | | |    | 
write_verilog: dump zero width sigspecs correctly
 | 
| |/ / / / /  
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |   
| | | | |    | 
Before this commit, zero width sigspecs were dumped as "" (empty
string). Unfortunately, 1364-2005 5.2.3.3 indicates that an empty
string is equivalent to "\0", and is 8 bits wide, so that's wrong.
After this commit, a replication operation with a count of zero is
used instead, which is explicitly permitted per 1364-2005 5.1.14,
and is defined to have size zero. (Its operand has to have a non-zero
size for it to be legal, though.)
PR #1203 has addressed this issue before, but in an incomplete way.
 | 
| | | | | |  | 
 | 
| |\ \ \ \ \  
| | | | | | 
| | | | | |  | 
Fix verific import of enum values with x and/or z
 | 
| | | | | | | 
| | | | | | 
| | | | | | 
| | | | | |  | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| |\ \ \ \ \ \  
| |/ / / / /  
|/| | | | |    | 
If direction NONE use that from first bit
 | 
| | | | | | | 
| | | | | | 
| | | | | |  | 
Ad-hoc fixes/improvements
 | 
| | | | | | |  | 
 | 
| |\ \ \ \ \ \  
| | | | | | | 
| | | | | | |  | 
Use "read" command to parse HDL files from Yosys command-line
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| | | | | | | | 
| | | | | | | 
| | | | | | | 
| | | | | | |  | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| |/ / / / / /  
| | | | | |   
| | | | | |   
| | | | | |    | 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 | 
| | | | | | |  | 
 | 
| |/ / / / /  
| | | | |   
| | | | |   
| | | | |    | 
This is a fixed version of #3072.
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | | | | |  | 
 | 
| | |_|_|/  
|/| | |    | 
 |