SVA Properties I : Basics
Property defines set of behaviours of the design. To use those behaviors verification directive must be used. In other words, a property itself does not produce any result. A named… Read more »
Property defines set of behaviours of the design. To use those behaviors verification directive must be used. In other words, a property itself does not produce any result. A named… Read more »
Reset Reset is a signal that is used to initialize the hardware, as the design does not have a way to do self initialization. That means, reset forces the design… Read more »
Method .triggered This is built-in method on a sequence . This is a method to break down the complex sequence to simpler sub-sequences. The endpoint of sub-sequence can be detected… Read more »
Multi-clocked sequences are built by concatenating multiple single clocked sequences in different clock domains using following operators. Single delay concatenation operator (##1) zero-delay concatenation operator (##0) Single delay concatenation operator… Read more »
While simulating System Verilog design and its test-bench including assertions, events has to be dynamically scheduled, executed, and removed as the simulator advances time. To have this feature, simulator has… Read more »
In the article Clock Uncertainty I mentioned that the command set_clock_uncertainty is used to account for among other things, clock jitter. Clock jitter is a characteristic of the clock source… Read more »
Clock latency refers to the delay that is assumed to exist between the clock source and the flip-flop clock pin. This is typically used before layout, when clock is ideal…. Read more »
There is the SDC command “set_clock_uncertainty” and there is the question of what clock uncertainty means. The SDC manual states that `set_clock_uncertainty Specifies the uncertainty or skew characteristics of a… Read more »
Operator AND The binary operator AND is used when both operands are expected to match, but the end times of the operand sequences may be different. That means, when one… Read more »
In data transmission, error detection is required as there are high chances of having bit changes in the data. Hamming code is a linear error-detecting and correcting code invented by… Read more »