Skip to the selected question
ASIC.FYI

ASIC Question Bank

1,000+ hardware interview questions
DescriptionQ568
Page ↗
Q568DVMetaASIC interview problem

Nonoverlapped implication timing

TechniquesDVSVAImplicationSampling
DifficultyEasy
TopicAssertions and Formal
LanguageSystemVerilog
Format4 choices
01

Problem

An assertion is sampled on every rising edge and uses the property `a |=> b`. If a is true on cycle 10, when must b be true for that attempt to pass?

02

Answer choices (4)