issues
search
fvutils
/
pyvsc
Python packages providing a library for Verification Stimulus and Coverage
https://fvutils.github.io/pyvsc
Apache License 2.0
113
stars
26
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
vsc.if_then Constraint Not Support AND/OR Operation
#226
hcube123
opened
4 days ago
1
Cannot constrain attribute inside a rand_attr inside a rand_list
#224
felixdube
closed
2 months ago
12
Solve-order fixes
#223
alwilson
closed
3 months ago
1
Make list solve_order predictable
#222
alwilson
closed
3 months ago
1
Improve Performance of source_info.mk()
#220
Jrendl
closed
3 months ago
1
Unexpected behavior with unique rand_list_t
#219
felixdube
closed
3 months ago
4
constraint for one hot encoding.
#217
jahagirdar
opened
4 months ago
1
Key error of ordinary for loop and TypeError of list indices in vsc.foreach
#216
kangshuo1
opened
6 months ago
1
Key Error in adding constraints in the for loop
#215
kangshuo1
closed
6 months ago
0
Is there a way to construct a logarithm constraint?
#214
kangshuo1
closed
6 months ago
2
solve_order()'s after argument, when list is used, ends up in before_l list
#213
mlausinTT
opened
7 months ago
1
Set values on randobj and check if it satisfies the constraints
#210
sbhutada
closed
6 months ago
2
doc: fix intro and other examples, update feature list
#209
alwilson
closed
6 months ago
1
PyVSC to give exhaustive list of stimulus
#208
sbhutada
opened
8 months ago
0
Can't see vsc after installing pyvsc
#207
sbhutada
closed
8 months ago
0
solve before is solve_order, but document marks it as not supported
#206
sbhutada
closed
6 months ago
1
randsz_list_t: Placing the sum constraint before the size constraints can result in incorrect sums [v0.8.8]
#204
alwilson
opened
8 months ago
0
Solve order of randsz_list_t size constraints within foreach incorrect [v0.8.8]
#203
alwilson
opened
8 months ago
5
Is there an example of pyvsc integrated with cocotb and SV RTL with a simulator?
#202
sbhutada
closed
9 months ago
2
not_inside constraint unexpectedly reducing output set significantly
#199
apaiva
closed
10 months ago
1
I can't install pyvsc for pypy3.10!
#198
see01995
closed
7 months ago
4
Remove high-priority, soft weight constraint from distributions
#194
alwilson
closed
1 year ago
2
Fix deprecation and Enum issues for python 3.11; minordoc string fix
#193
alwilson
closed
1 year ago
1
Distributions have higher priority than soft constraints
#191
alwilson
closed
1 year ago
1
Installing pyvsc fails on pyboolector for python 3.11.5 on Linux (Arch)
#190
alwilson
closed
1 year ago
3
constraint solver error
#189
hanfeng0114
closed
1 year ago
1
support for function incur in constraint functions
#188
hanfeng0114
closed
1 year ago
5
install error for latest version macos
#187
hanfeng0114
opened
1 year ago
3
Enh: Support Default bin (How to write "default" in vsc.coverpoint ?)
#186
mballance
opened
1 year ago
0
import error _boolector_add
#184
ajayvreddy
opened
1 year ago
0
pyvsc performance dominated by stack frame operations in inspect module
#183
grahamcx
opened
1 year ago
1
how to print coverage model
#181
songzenghui
opened
1 year ago
3
What is the relation between pyvsc and portable stimulus (pss)?
#180
davidmlw
closed
6 months ago
2
PicklingError when trying to pickle a VSC randobj
#179
smccans
opened
1 year ago
2
Nested soft constraint support
#178
alwilson
closed
1 year ago
3
Cannot use random value as list index in a constraint
#177
felixdube
opened
1 year ago
2
Cannot make constraint under if_then soft
#176
felixdube
closed
1 year ago
13
Cache randomization calls
#175
alwilson
opened
1 year ago
4
Skip disabled constraints when visiting model; Fixes #173
#174
alwilson
closed
1 year ago
5
Setting constraint_mode to False retains the previous range/bounds of the constraint
#173
alwilson
closed
1 year ago
1
Selecting a list element from a list of bit-vectors returns an int
#172
grahamcx
closed
1 year ago
3
I'm not able to install pyvsc package, it fails when handling the pyboolector module
#171
mahawana
opened
1 year ago
3
ModuleNotFoundError: No module named 'pyboolector'
#170
songzenghui
opened
1 year ago
10
Can't have a randsz_list_t of randobj
#166
fdrichardson
closed
2 years ago
1
windows10 install pyboolector failed
#165
songzenghui
closed
2 years ago
4
Dynamic constraints combined with 'soft' constraining
#164
mballance
closed
2 years ago
1
Sampling spams unhelpful messages
#163
miserva
closed
2 years ago
1
Random distribution of 2-variable constraints not uniform
#161
alwilson
opened
2 years ago
10
Performance impart using wilcard bins
#160
walido78
closed
2 years ago
4
Supporting inheritance in PyVSC
#159
walido78
opened
2 years ago
2
Next