SVA Properties III : Implication
The implication construct (|->) allows a us to monitor sequences based on satisfying some criteria, i.e. for a sequence to occur, a preceding sequence must have occurred. The implication consists… Read more »
Author Archives: Sini Balakrishnan
Linting
What is meant by lint? It was the name originally given to a program that flagged suspicious and non-portable constructs in software programs. Later this was extended to hardware languages… Read more »
SVA Properties II : Types
Sequence Properties Properties which contain sequence definitions are called sequence properties.Sequence properties are of three types. weak(sequence_expr) If there is no finite prefix that witnesses inability to match the sequence_expr,… Read more »
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 »
Synchronous & Asynchronous Reset
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 »
SVA Sequences IV : Methods
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 »
SVA Sequences IV – Multiple Clock Domains/ Multi-clocked Sequence
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 »
SV Event Scheduling Algorithm
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 »
SVA Sequences III – Other Operators
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 »
Hamming Code
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 »