-
Notifications
You must be signed in to change notification settings - Fork 878
All issues
Issue creation is restricted in this repository
- #4298 · wsnyder opened
on Jun 17, 2023 - #1538 · veripoolbot opened
on Oct 6, 2019 66
Issues
is:issue state:open
is:issue state:open
Search results
Solver crash: whole-array '=='/'!=' in a constraint against a non-rand array
newNew issue not seen by maintainersNew issue not seen by maintainersStatus: Open.#8116 In verilator/verilator;Solver crash: rand-dependent index into a non-rand array in a constraint
newNew issue not seen by maintainersNew issue not seen by maintainersStatus: Open.#8115 In verilator/verilator;AstNode is not of expected type in cover points
status: asked reporterBug is waiting for reporter to answer a questionBug is waiting for reporter to answer a questionStatus: Open.#8109 In verilator/verilator;MULTIDRIVEN not reported for always_comb/always_ff and continuous assignment through packed part-selects
area: lintIssue involves SystemVerilog lint checkingIssue involves SystemVerilog lint checkingStatus: Open.#8107 In verilator/verilator;Add a --constraint-unique-limit option, matching --constraint-array-limit for unique{}
newNew issue not seen by maintainersNew issue not seen by maintainersStatus: Open.#8104 In verilator/verilator;- Status: Open.#8102 In verilator/verilator;
unique{}on a foreach-indexed array row (a slice of a multi-dimensional array) is not enforcednewNew issue not seen by maintainersNew issue not seen by maintainersStatus: Open.#8098 In verilator/verilator;Internal Error: ../V3Broken.cpp:182: Broken link in node (or something without maybePointedTo): 'm_varp && !m_varp->brokeExists()' @ ./V3Ast__gen_impl.h:6553
newNew issue not seen by maintainersNew issue not seen by maintainersStatus: Open.#8097 In verilator/verilator;Preprocessor with --preproc-comments: trailing // comment on a `define leaks into every macro expansion
area: parserIssue involves SystemVerilog parsingIssue involves SystemVerilog parsingStatus: Open.#8093 In verilator/verilator;No
--coverage-branchoptionarea: coverageIssue involves coverage generationIssue involves coverage generationstatus: discussionIssue is waiting for discussions to resolveIssue is waiting for discussions to resolveStatus: Open.#8091 In verilator/verilator;Case statements aren't included in branch coverage
area: coverageIssue involves coverage generationIssue involves coverage generationstatus: discussionIssue is waiting for discussions to resolveIssue is waiting for discussions to resolveStatus: Open.#8090 In verilator/verilator;If statements with
else ifare skipped in branch coveragearea: coverageIssue involves coverage generationIssue involves coverage generationStatus: Open.#8089 In verilator/verilator;