Write coverage (Add ignore bin) for a 64 bit vector where the only legal values are when all the 1's are continuous. It is allowed to have 0's at either end of the vector, but there cannot be any 0's between 1's in the vector
|
|
2
|
761
|
May 17, 2025
|
Formal Assumption to Model a FIFO Push (with a delay)
|
|
3
|
41
|
April 29, 2025
|
Asynchronous FIFO Assertions For Verifying Data Pushed and Popped
|
|
5
|
802
|
April 27, 2025
|
Non-compute-intensive way to add an asynchronous delay to a transaction
|
|
1
|
26
|
April 25, 2025
|
Assertion on gated clock and after some time ungated clock
|
|
3
|
95
|
April 10, 2025
|
I cannot find any implementations of a class that extends uvm_reg_file
|
|
1
|
45
|
March 23, 2025
|
How to achieve fork-join_none and fork join_any functionality using fork-join
|
|
6
|
1132
|
March 12, 2025
|
How to code the dist statement with array in the constraint
|
|
10
|
1388
|
March 6, 2025
|
Pattern Detector 10110 in SV (no FSM)
|
|
1
|
174
|
February 19, 2025
|
Functional Coverage as Toggle Coverage
|
|
3
|
117
|
February 17, 2025
|
I want put value in specific bit slice
|
|
1
|
48
|
February 17, 2025
|
Valid Data Filter
|
|
2
|
105
|
February 16, 2025
|
Scoreboard logic
|
|
8
|
136
|
February 10, 2025
|
Need help in coding an assertion
|
|
6
|
147
|
January 16, 2025
|
Mixed packed and unpacked array
|
|
3
|
3934
|
December 5, 2024
|
Requirement to initialize dynamic variables within property/sequence
|
|
3
|
425
|
November 25, 2024
|
SVA Assertions using only $realtime and nested implications
|
|
4
|
172
|
September 30, 2024
|
Blocking or non-blocking statement (= vs. <=)
|
|
8
|
1392
|
August 10, 2024
|
Using sequence_item X in agent Y
|
|
2
|
118
|
July 30, 2024
|
What happens to threads that don't finish
|
|
4
|
526
|
July 4, 2024
|
4 phase req ack
|
|
10
|
285
|
June 7, 2024
|
Macro to read register fields using RAL
|
|
1
|
316
|
March 26, 2024
|
Need assistance with parameterized sequence
|
|
1
|
350
|
January 6, 2024
|
Assertion : Assume writing
|
|
2
|
250
|
March 14, 2024
|
Strong and #-# of SVA
|
|
7
|
984
|
March 12, 2024
|
Assertion Question
|
|
3
|
258
|
March 6, 2024
|
Implement Clock in Program Block
|
|
2
|
261
|
February 28, 2024
|
Variable Delay or Repetition with "until/until_with"
|
|
3
|
491
|
February 28, 2024
|
Variable Repetition with "intersect" and [->1] doesn't work
|
|
3
|
314
|
February 25, 2024
|
Use of an Associative array or Queue in System Verilog Assertion Property
|
|
6
|
434
|
February 23, 2024
|