search

lowRISC / style-guides

lowRISC Style Guides
Creative Commons Attribution 4.0 International
345 stars 122 forks source link

DV style guide: mention non-compliant usage of disable #46

Open imphil opened 3 years ago

imphil commented 3 years ago

Only disable fork is a valid way to terminate all sub-processes; disable fork_process_label works on VCS (and probably other simulators), but isn't LRM-compliant, and not supported/silently ignored by Xcelium.

See also https://github.com/lowRISC/ibex/issues/1174.

imphil commented 3 years ago

@PaulOKCrevinn @CathalMCrevinn does this language sound about right?

imphil commented 3 years ago

@sriyerg with the Verible check for this functionality now close to landing, could you please propose s specific wording for the style guide?