Verification Academy

Topic	Replies	Views	Activity
Welcome to our Verification Academy community! Announcements	1	706	September 13, 2023
Constraint Randomization Interview Question SystemVerilog SystemVerilog	22	5475	January 25, 2026
Evaluation of following Embedded Concurrent assertion SystemVerilog embedded-concurrent-assertion	0	33	January 18, 2026
Interview question on constraint SystemVerilog SystemVerilog , constraints , uvm-sv-constraints	24	12008	January 20, 2026
Assertion question :- SystemVerilog SystemVerilog , assertion , System-Verilog , systemverilogassertionSVA	9	497	January 18, 2026
Calling a Task at the end of run_phase UVM UVM , UVM-phases	3	45	January 17, 2026
Randomization of req signal in priority arbiter SystemVerilog constraint-randomization , Priority-arbiter	6	54	January 17, 2026
Full_case parallel_case concrete explanation needed SystemVerilog Case-statement-in-sv	2	43	January 12, 2026
Constraint Pattern problem SystemVerilog constraint-randomization	5	88	January 10, 2026
SystemVerilog constraint: unique addr across array of structs without auxiliary array SystemVerilog SystemVerilog , constraint-randomization , unique	3	81	January 9, 2026
How SV handles the execution of functions SystemVerilog	1	35	January 9, 2026
Requesting clarity on constraint solving SystemVerilog constraint-randomization	2	50	January 7, 2026
AHB Lite protocol Verification UVM SystemVerilog , UVM , Coverage , assertion	2	585	January 7, 2026
Working of uvm_cmdline_processor::get_arg_matches UVM UVM , uvm_cmdline_processor , get_arg_matches	3	48	January 6, 2026
Query on generating rand 2D array with sum of set bits equal to specific value and bits must be connected to each other SystemVerilog constraint-randomization , 2Darray	4	108	January 5, 2026
Assertion error SystemVerilog SystemVerilog , UVM , assertion , SVA	3	36	January 5, 2026
Using interface in testbench and for modules connection SystemVerilog virtual-interface , interface , Clocking-Block	1	27	January 5, 2026
Uvm_hdl_read gives Incorrect value UVM	3	90	January 4, 2026
Weighted constraints not working SystemVerilog constraint-randomization	3	57	January 2, 2026
Assertion calculation after reset SystemVerilog assertion , SVA	0	34	January 2, 2026
Sequence which admits : No match v/s Hard Zero SystemVerilog SystemVerilog , assertion , SVA	8	400	December 27, 2023
System verilog Assertion SystemVerilog assertion	4	87	January 1, 2026
Requesting clarity on intermediate signals in the sequences SystemVerilog assertion	2	44	January 1, 2026
Difference between below 2 sequences? SystemVerilog assertion	1	46	December 31, 2025
Advantage of TLM fifo over a mailbox OVM OVM	5	19610	December 29, 2025
Semaphore put method question SystemVerilog SystemVerilog , System-Verilog , semaphore-keys , semaphore-with-multiple-keys	5	419	December 28, 2025
Deleting elements returned via Array locator methods SystemVerilog unpacked-array , 2Darray , Aray-locator-methods	1	35	December 28, 2025
Time does not strictly flow forward SystemVerilog	3	84	December 27, 2025
Execution of action block in Abort properties (reject_on / accept_on) SystemVerilog assertion , SVA , reject_on , Action-block	3	54	December 27, 2025
Confusion with the master monitor and slave monitor functionality UVM UVM , SPI-Test-Plan	3	80	December 22, 2025