Search results

[BUG] PyVSC Solver Failure with Mixed Signed/Unsigned Arithmetic

Status: Open.

#280 In fvutils/pyvsc;

· Balajimcr opened on Jun 9, 2026

[Bug] Solver failure when comparing rand_bit_t field against boolean expression using ==

Status: Open.

#278 In fvutils/pyvsc;

· Balajimcr opened on May 12, 2026

PyVSC internal solver error with satisfiable signed arithmetic constraint involving multiply/divide expressions

Status: Open.

#276 In fvutils/pyvsc;

· Balajimcr opened on May 11, 2026

[Enhancement] Coverpoint Transition Bin support

Status: Open.

#273 In fvutils/pyvsc;

· BanuAdrian opened on Apr 7, 2026

Cross sample() only records hit for the first matching bin when multiple bins match simultaneously

Status: Open.

#272 In fvutils/pyvsc;

· BanuAdrian opened on Mar 16, 2026

IndexError in RangelistModel.intersect() when using ignore_bins/illegal_bins that fully overlap a bin

Status: Open.

#269 In fvutils/pyvsc;

· BanuAdrian opened on Mar 10, 2026

iff condition with bitwise operations between comparison expressions raises TypeError during sample()

Status: Open.

#268 In fvutils/pyvsc;

· BanuAdrian opened on Mar 10, 2026

rand_mode on rand_attr nested object crashes inside randomize_with()

Status: Open.

#266 In fvutils/pyvsc;

· BanuAdrian opened on Mar 5, 2026

Array subscripting in coverpoints broken with with_sample() (arr[0], arr[idx])

Status: Open.

#259 In fvutils/pyvsc;

· BanuAdrian opened on Feb 2, 2026

Install pyvsc in MacOS Failed

Status: Open.

#254 In fvutils/pyvsc;

· yuqi-ali opened on Dec 27, 2025

options and type_options are not propagated from covergroups/coverpoints

Status: Open.

#253 In fvutils/pyvsc;

· BanuAdrian opened on Dec 2, 2025

weighted distribution functionality doesn't seem to work properly

Status: Open.

#250 In fvutils/pyvsc;

· Amirk97 opened on Nov 9, 2025