Assumption
An assumption is style of property used by a designer or verification engineer to describe expected design conditions or inputs. This is used as part of an ABV flow. Within a simulation-based flow, an assumption will produce an error if it is triggered. Within a Formal Verification-based flow, as assumption is used by the formal engine to reduce the state space explored
Browse D&R Glossary: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Main