Verification Academy

Topic	Replies	Views	Activity
difference b/w nexttime and ##1 SystemVerilog assertion	1	77	October 31, 2025
Why ref bit and int doesnt Work in sampling but int andref bit Does Coverage	0	75	October 31, 2025
Paper: Understanding SVA Degeneracy SystemVerilog SystemVerilog , SystemVerilog-SVA	9	641	October 29, 2025
In my design, I have an assign statement like assign var = (a == b) ? 1 : 0;. During simulation, var takes both values 1 and 0 as expected, but in Questa code coverage, this statement is still shown as not covered. Why is this happening? Coverage Coverage , questasim	2	65	October 29, 2025
SVA with multiple Implication operators SystemVerilog	0	75	October 29, 2025
Why uvm_object_registry is called as lightweight proxy? UVM UVM	1	86	October 28, 2025
Function inside constraint SystemVerilog	1	121	October 28, 2025
UVM Class Hierarchy ? can any one help me by giving me the full uvm base class hierarchy structure UVM UVM	5	179	October 27, 2025
is $fell(sig_a) true when sig_a from x to 0? SystemVerilog assertion , SVA	1	110	October 27, 2025
Question regarding latch behaviour SystemVerilog	1	84	October 27, 2025
Question on use of RAL model for System-On-Chip verification UVM	4	195	October 24, 2025
Multiple analysis ports to single implementation UVM SystemVerilog , UVM , analysis-port	8	317	October 23, 2025
Understanding the throughout SVA SystemVerilog assertion , SVA-Assertion	11	1273	October 20, 2025
How to properly extend a test case from different parents UVM SystemVerilog , UVM	2	180	October 21, 2025
How to deep copy UVM transaction containing queue of objects? UVM SystemVerilog , UVM	3	137	October 21, 2025
SV assertion related to req and grant SystemVerilog	2	134	October 18, 2025
Is there an alternative to sum() Constraint SystemVerilog SystemVerilog , Is-there-an-alternative-to-sum-Constraint	5	1923	October 19, 2025
Difference between -> and => in assertions SystemVerilog	5	231	October 19, 2025
How to use multiple sequences to override base test UVM	14	274	October 17, 2025
QuestaSim not loading design after restart -f SystemVerilog questasim	2	75	October 17, 2025
What operators constitute a multi-threaded sequence SystemVerilog SystemVerilog , SVA , multi-threaded-antecedent , multi-threaded-assertion	1	90	October 16, 2025
Config db fatal isssue UVM OVM , SystemVerilog , UVM	1	117	October 16, 2025
Clarification on sequence execution flow UVM cookbook figure UVM	6	115	October 16, 2025
$xm_force isnt working to force tb signals using hierarchical paths SystemVerilog	2	137	October 16, 2025
Getting last transaction in consumer repetitively even though producer is sending all transaction UVM SystemVerilog , UVM	3	111	October 15, 2025
SystemVerilog reason of not putting always in program block SystemVerilog SystemVerilog	1	102	October 15, 2025
Excluding the already defined bins Coverage SystemVerilog , Coverage , Dave-Rich	5	139	October 12, 2025
Need clarification on static method and non static method SystemVerilog SystemVerilog , non-static-method , static-method	11	4377	October 12, 2025
Coverpoint for groups of address SystemVerilog Coverage	1	71	October 10, 2025
Getting the virtual interface in the test class or in the agent? UVM	1	88	October 9, 2025