DescriptionQ762
Q762DVASIC interview problem
Verify a nested microcode decoder
TechniquesDVDesignParserFramingError recovery
DifficultyMedium
TopicUVM Components
LanguageSystemVerilog
Requirements4 checkpoints
01
Problem
Write the bounded parser oracle and two core streaming properties for a token decoder that expands nested repeat groups up to depth four and 64 output bytes.
Example input and output
Use this case to check your interpretationInput
token frame encodes COUNT 2 OPEN, literal A, COUNT 2 OPEN, literal B, CLOSE, CLOSEOutput
decoded bytes="ABBABB"Explanation
The inner group expands B twice to BB, then the outer group repeats ABB twice without exceeding depth or output limits.
02
Requirements (4)
- Predict exact legal bytes or one all-zero error beat using the earliest accepted-token fault and the specified code priority for simultaneous conditions.
- Enforce at most 32 input tokens, nesting depth four, repeat counts 1 through 4, nonempty groups, and decoded length 1 through 64.
- Require first output availability within two cycles of an accepted final token and keep every stalled output field stable.
- Explain legal-tree generation, one-fault mutation, response scoreboarding, reset, and coverage as follow-up verification work.