mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-10 01:05:49 +00:00
Code Activity

check: add scratchpad check.permissive and use it

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-05-08 14:37:03 +02:00
parent c7cd70b103
commit 0601260bf2
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/cmds/check.cc
View file

@ -86,6 +86,8 @@ struct CheckPass : public Pass {
bool force_detailed_loop_check = false; bool force_detailed_loop_check = false;
bool suggest_detail = false; bool suggest_detail = false;
Mode mode = Mode::Smart; Mode mode = Mode::Smart;
if (design->scratchpad_get_bool("check.permissive"))
mode = Mode::Permissive;
// log_error always terminates and it's a huge hassle to refactor // log_error always terminates and it's a huge hassle to refactor
std::vector<std::string> errors; std::vector<std::string> errors;
std::function<void(std::string)> bad = [&errors, &counter](std::string message) { std::function<void(std::string)> bad = [&errors, &counter](std::string message) {

1
tests/various/dynamic_part_select.ys
View file

@ -142,6 +142,7 @@ design -copy-from gate -as gate gate
miter -equiv -make_assert -make_outcmp -flatten gold gate equiv miter -equiv -make_assert -make_outcmp -flatten gold gate equiv
sat -prove-asserts -show-public -verify -set-init-zero equiv sat -prove-asserts -show-public -verify -set-init-zero equiv
scratchpad -set check.permissive true
### ###
## Part select with obvious latch, expected to fail due comparison with old shift&mask AST transformation ## Part select with obvious latch, expected to fail due comparison with old shift&mask AST transformation
design -reset design -reset