DescriptionQ477
Q477DVASIC interview problem
Detect X or Z in valid data
TechniquesX propagationFour-state logicChecker
DifficultyEasy
TopicVerification Utilities
LanguageSystemVerilog
Requirements3 checkpoints
01
Problem
Report an error whenever a valid 32-bit data value contains any X or Z bit.
Example input and output
Use this case to check your interpretationInput
cycle 4: valid=1,data contains bit X; cycle 5: valid=0,data contains bit ZOutput
error at cycle 4 onlyExplanation
Four-state detection flags the accepted unknown value, while invalid-cycle payload is deliberately ignored.
02
Requirements (3)
- Check only when valid is asserted.
- Detect both X and Z.
- Use four-state semantics.
