pyvsc
pyvsc copied to clipboard
fvutils
Python packages providing a library for Verification Stimulus and Coverage
[ Using pyvsc-0.7.6 ] I've been curious about how uniform the random distributions for SV and pyvsc constraints are and cooked up some 2D examples to help visualize the distribution...
Hello, As I was writing my test cases in CocoTB, I had a design where there was 10 subdesigns that are identical. Currently the only way to create a covergroup...
After running I always get the following error: I checked the requirement and ran the pip update along with the pip instal PyBoolector again with no success the error is...
Hi @mballance , When I'm trying to run a PYVSC script which has some around 2000 constraints.I'm getting the below msg Note:variable bounds model failed to converge in 100 iterations...
Hi @mballance I am creating this issue to address the recent changes in PyVSC that broke the PyFlow. I believe some time back you had created a performance-suite for [riscv-dv...
It would be nice to have more [documentation](https://pyvsc.readthedocs.io/en/latest/data_types.html#enum-type-attributes) around the enum type. The minimal example given doesn't have any constraints. Questions I have: - What is the proper way to...
```python import vsc @vsc.randobj class A(): def __init__(self): self.a=vsc.rand_bit_t(16) self.b=vsc.rand_bit_t(20) def pre_randomize(self): with vsc.raw_mode(): self.a.rand_mode=False obj=A() obj.randomize() print(obj.a,obj.b) ``` obj.a is expected to be 0. But the output showed that...
@mballance, I have created randobj's that store rangelist values in their properties. These properties are then used in constraints. My problem is that updating the value of a rangelist-holding property...
@mballance, I am constraining the size of a random-size list using a variable. If the variable happens to be wider than 16 bits then PyVSC throws a confusing error that...
Hi, i have generated multiple coverage xml files using vsc.write_coverage_db("cov.xml") . How to merge multiple xml files. is there any method to merge multiple xml files?
