fvutils/pyvsc

Issues

• Cannot constrain attribute inside a rand_attr inside a rand_list

  #224 opened 5 months ago by felixdube
  12

• Random distribution of 2-variable constraints not uniform

  #161 opened 2 years ago by alwilson
  10

• solve_order()'s after argument, when list is used, ends up in before_l list

  #213 opened 9 months ago by mlausinTT
  1

• Unexpected behavior with unique rand_list_t

  #219 opened 6 months ago by felixdube
  4

• constraint for one hot encoding.

  #217 opened 7 months ago by jahagirdar
  1

• Key error of ordinary for loop and TypeError of list indices in vsc.foreach

  #216 opened 9 months ago by kangshuo1
  1

• What is the relation between pyvsc and portable stimulus (pss)?

  #180 opened 8 months ago by davidmlw
  2

• Set values on randobj and check if it satisfies the constraints

  #210 opened 9 months ago by sbhutada
  2

• solve before is solve_order, but document marks it as not supported

  #206 opened 9 months ago by sbhutada
  1

• Key Error in adding constraints in the for loop

  #215 opened 9 months ago by kangshuo1
  0

• Is there a way to construct a logarithm constraint?

  #214 opened 9 months ago by kangshuo1
  2

• I can't install pyvsc for pypy3.10！

  #198 opened 9 months ago by see01995
  4

• PyVSC to give exhaustive list of stimulus

  #208 opened 10 months ago by sbhutada
  0

• Can't see vsc after installing pyvsc

  #207 opened 10 months ago by sbhutada
  0

• Solve order of randsz_list_t size constraints within foreach incorrect [v0.8.8]

  #203 opened a year ago by alwilson
  5

• randsz_list_t: Placing the sum constraint before the size constraints can result in incorrect sums [v0.8.8]

  #204 opened a year ago by alwilson
  0

• Is there an example of pyvsc integrated with cocotb and SV RTL with a simulator?

  #202 opened a year ago by sbhutada
  2

• not_inside constraint unexpectedly reducing output set significantly

  #199 opened a year ago by apaiva
  1

• Distributions have higher priority than soft constraints

  #191 opened a year ago by alwilson
  1

• Installing pyvsc fails on pyboolector for python 3.11.5 on Linux (Arch)

  #190 opened a year ago by alwilson
  3

• constraint solver error

  #189 opened a year ago by hanfeng0114
  1

• support for function incur in constraint functions

  #188 opened a year ago by hanfeng0114
  5

• install error for latest version macos

  #187 opened a year ago by hanfeng0114
  3

• Enh: Support Default bin (How to write "default" in vsc.coverpoint ?)

  #186 opened a year ago by mballance
  0

• import error _boolector_add

  #184 opened a year ago by ajayvreddy
  0

• pyvsc performance dominated by stack frame operations in inspect module

  #183 opened a year ago by grahamcx
  1

• how to print coverage model

  #181 opened a year ago by songzenghui
  3

• PicklingError when trying to pickle a VSC randobj

  #179 opened 2 years ago by smccans
  2

• Cannot make constraint under if_then soft

  #176 opened 2 years ago by felixdube
  13

• Cannot use random value as list index in a constraint

  #177 opened 2 years ago by felixdube
  2

• Setting constraint_mode to False retains the previous range/bounds of the constraint

  #173 opened 2 years ago by alwilson
  1

• Selecting a list element from a list of bit-vectors returns an int

  #172 opened 2 years ago by grahamcx
  3

• I'm not able to install pyvsc package, it fails when handling the pyboolector module

  #171 opened 2 years ago by mahawana
  3

• ModuleNotFoundError: No module named 'pyboolector'

  #170 opened 2 years ago by songzenghui
  10

• Can't have a randsz_list_t of randobj

  #166 opened 2 years ago by fdrichardson
  1

• windows10 install pyboolector failed

  #165 opened 2 years ago by songzenghui
  4

• Dynamic constraints combined with 'soft' constraining

  #164 opened 2 years ago by mballance
  1

• Sampling spams unhelpful messages

  #163 opened 2 years ago by miserva
  1

• Performance impart using wilcard bins

  #160 opened 2 years ago by walido78
  4

• Supporting inheritance in PyVSC

  #159 opened 2 years ago by walido78
  2

• rand_int8_t with negative maximum can not be randomized

  #156 opened 3 years ago by XunChangqing
  1

• Passing type of object rather object in isinstance(object,type) method in to_expr(t) function in vsc.types

  #155 opened 3 years ago by SkAditAziz
  5

• Note:variable bounds model failed to converge in 100 iterations

  #154 opened 3 years ago by bhanusuprabhath
  2

• VSC internal TypeError due to if_then constraint with Enum.

  #146 opened 3 years ago by msmftc
  1

• Adding riscv-dv PyFlow to the PyVSC regression list.

  #153 opened 3 years ago by aneels3
  0

• vsc.model.solve_failure.SolveFailure: solve failure [randomly] in riscv-dv

  #149 opened 3 years ago by kkmonk
  0

• raise Exception("internal error: system should solve")

  #148 opened 3 years ago by kkmonk
  2

• vsc.model.solve_failure.SolveFailure: solve failure

  #147 opened 3 years ago by kkmonk
  9

• vsc.unique constraint on list with 1 item raises Boolector Exception

  #145 opened 3 years ago by msmftc
  2

• Problem using pyvsc with cython pyx testcase file

  #143 opened 3 years ago by walt3k
  8