Verification Academy

Topic	Replies	Views	Activity
Choosing between TLM get v/s peek UVM tlm , uvm_blocking_peek_imp , uvm_blocking_get_imp , get-vs-peek	1	77	March 22, 2026
ref argument default value SystemVerilog SystemVerilog	1	39	March 19, 2026
Execution of function after it unblocks SystemVerilog uvm_analysis_imp , analysis-port , uvm_analysis_imp_decl , function-as-task , blocking-function	1	52	March 17, 2026
Soft constraints must be followed by an expression SystemVerilog constraint-randomization , soft-constraints , Implication-constraint	7	97	March 16, 2026
Constraint for a prime number SystemVerilog SystemVerilog , prime-number-constraint , systemverilog-constraint	3	1330	March 16, 2026
Bug (?) in uvm_pool UVM SystemVerilog , UVM , uvm_event_pool	0	56	March 13, 2026
Back door access for uvm_mem UVM UVM	3	1485	March 13, 2026
Race Between Assign and multiple Initial Blocks SystemVerilog	2	67	March 13, 2026
Randomization of req signal in priority arbiter SystemVerilog constraint-randomization , Priority-arbiter	7	153	March 11, 2026
UVM Verification of I2C Slave IP with APB Registers UVM UVM , Coverage , System-Verilog , SVA	2	102	March 10, 2026
Race between procedural Blocks and always block triggering itself SystemVerilog	2	44	March 8, 2026
assertion to detect a specific switch of a signal SystemVerilog assertion	3	77	March 6, 2026
Upward references in bound interfaces SystemVerilog	5	75	March 3, 2026
Ensuring specific uvm_config_db::set always wins UVM UVM , uvm_config_db	0	83	February 24, 2026
SVA on intersect SystemVerilog assertion	5	125	February 24, 2026
Iteration of elements in an array declared as randc SystemVerilog randc	2	68	February 24, 2026
Configuring agent in Active / Passive mode UVM uvm_config_db , activepassive-agent-configuration , uvm_agent , uvm_active_passive_enum	5	163	February 22, 2026
Bind interface for internal DUT forcing UVM UVM	20	5564	February 21, 2026
Default argument dimension & type in SV subroutines SystemVerilog subroutine , SV-Function , SV-Subroutines	1	33	February 21, 2026
SV Assertions practice questions SystemVerilog assertion	0	112	February 21, 2026
Assertion failure using strong property SystemVerilog SVA , Sva-strong , strong-property , fail-action-block	7	99	February 19, 2026
Automation of creating different parameter sets combinations UVM IP-Parameter	1	49	February 18, 2026
SV Assertions using $past() SystemVerilog SystemVerilog , assertion	2	109	February 18, 2026
How to create a SystemVerilog testbench for my ALU's parent circuit? UVM SystemVerilog , UVM	2	78	February 18, 2026
Working of $monitor SystemVerilog monitor , monitor-SV-System-Function	5	60	February 17, 2026
Connection from monitor to driver in reactive agent UVM	1	56	February 16, 2026
Equivalent expression for intersect operator SystemVerilog SVA , Dave-Rich , SVA-intersect , Ben-Cohen , intersect-operator	1	39	February 15, 2026
P_sequencer / m_sequencer UVM UVM	11	37042	February 13, 2026
Formal arguments to properties / sequences SystemVerilog SystemVerilog , SVA , paramterized-properties	1	45	February 13, 2026
A query about push_back and pop_front SystemVerilog SystemVerilog , UVM	10	4008	February 12, 2026