Broken Conditionals
ConceptBroken conditionals are a category of hardware design bugs in which conditional logic is implemented incorrectly — for example, by omitting a required case or by misderiving a select signal that guards an assignment. They are one of two high-level bug categories used by ENCARSIA to classify architecturally observable RTL defects, alongside signal mix-ups, and are modelled in the Yosys intermediate representation by corrupting multiplexer trees that encode conditional assignments.
WIKI
Overview
Broken conditionals are hardware design bugs that arise from improper handling of exceptional cases or of operations permitted only in a specific state, such as a particular privilege mode. In an RTL design, they manifest as conditional logic that is too loose (forgotten guards), or as cases that are missing entirely (forgotten edge cases such as resets, default cases, or overflow checks).
In the ENCARSIA bug taxonomy, broken conditionals form one of two top-level categories that together account for all architecturally observable bugs found in the authors' survey of CPU designs. The complementary category is signal mix-ups. Bugs that modify only the value assigned inside a conditional — but leave the conditions themselves intact — are counted as signal mix-ups rather than broken conditionals.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →