Semiconductors, Engineering, Hardware, Design, Hardware Design.
not high. This is because the assertion expects signal “b” to be high in the last cycle where signal “c” goes low. Here, the assertion would have passed if signal “b” remained asserted for one more cycle. To conclude, the “throughout” assertion fails if checking condition is not true in any cycle,