DescriptionQ030
Q030DVASIC interview problem
Two Requesters Receive a Grant
TechniquesDVWaveform DebuggingArbitration
DifficultyEasy
TopicWaveform Debugging
LanguageSystemVerilog
Format4 choices
01
Problem
A two-requester arbiter may select no requester or exactly one requester on each rising edge. Rule to apply: grant0 and grant1 must never both be 1 at the same sampled edge. Which assertion fails at C4?
02
