| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| ... | |
| | |
| |
| |
| | |
(as well as a non critical minor code optimization)
|
| | |\ |
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
on Yosys-generated assignments.
In this case, offending code was:
module top(input in, output out);
function func;
input arg;
func = arg;
endfunction
assign out = func(in);
endmodule
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | | |
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |\ \ \ |
|
| | | |/
| |/|
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |/ /
| |
| |
| |
| |
| | |
in SV mode
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | |
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | |
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |\ \
| | |
| | | |
More specify/endspecify fixes
|
| | | |
| | |
| | |
| | |
| | | |
Some the of parser fixes may look strange but they were needed to avoid shift/reduce conflicts,
due to the explicit parentheses in path_delay_value, and the mintypmax values without parentheses
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | | |
https://github.com/verilog-to-routing/vtr-verilog-to-routing/blob/master/vtr_flow/primitives.v ,
(specify block ignored).
Must use 'read_verilog -defer' due to a parameter not assigned a default value.
|
| | | |
| | |
| | |
| | | |
Just remember specify blocks are parsed but ignored.
|
| | | |
| | |
| | |
| | |
| | |
| | | |
This option disables the memory pointer display.
This is useful when diff'ing different dumps because otherwise the node pointers
makes every diff line different when the AST content is the same.
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |/ /
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |\ \
| | |
| | | |
Consistent use of 'override' for virtual methods in derived classes.
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
o Not all derived methods were marked 'override', but it is a great
feature of C++11 that we should make use of.
o While at it: touched header files got a -*- c++ -*- for emacs to
provide support for that language.
o use YS_OVERRIDE for all override keywords (though we should probably
use the plain keyword going forward now that C++11 is established)
|
| |\ \ \
| | | |
| | | | |
Fix remaining log_file_error(); emit dependent file references in new…
|
| | |/ /
| | |
| | |
| | |
| | |
| | |
| | | |
There are some places that reference dependent file locations ("this function was
called from ..."). These are now in a separate line for ease of jumping to
it with the editor (behaves similarly to compilers that emit dependent
messages).
|
| |\ \ \
| | |/
| |/| |
Add error checking for reg/wire/logic misuse - PR now passes 'make test' (plus a new test)
|
| | | |
| | |
| | |
| | | |
No longer false warnings for memories and assertions
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
It correctly detects reg/wire mix and incorrect use on blocking,nonblocking assignments within blocks and assign statements.
What it DOES'T do:
Detect registers connected to output ports of instances.
Where it FAILS:
memorty nonblocking assignments causes spurious (I assume??) errors on yosys-generated "_ADDR", "_DATA", "EN" signals.
You can test it with tests/simple/reg_wire_error.v (look inside for the comments to enable/disable specific lines)
|
| |\ \ \
| | | |
| | | | |
Detect illegal port declaration, e.g input/output/inout keyword must …
|
| | | | |
| | | |
| | | |
| | | | |
first.
|
| | | | |
| | | |
| | | |
| | | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | | |
| | | |
| | | |
| | | | |
Signed-off-by: litghost <537074+litghost@users.noreply.github.com>
|
| | | | | |
|
| | | | | |
|
| | |_|/
|/| |
| | |
| | |
| | |
| | |
| | |
| | | |
Because if the unknown module is connected to any constants, Verific will
actually break all constants in the same module, even if they have nothing
to do structurally with that instance of an unknown module.
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | |
| | | |
Mostly statements that span over multiple lines and haven't been
caught with the previous conversion.
|
| | | |
| | |
| | |
| | | |
Wherever we can report a source-level location.
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
o Provide log_file_warning() and log_file_error() that prefix the log
message with <filename>:<lineno>: to be easily picked up by IDEs that
need to step through errors.
o Simplify some duplicate logging code in kernel/log.cc
o Use the new log functions in genrtlil.
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
