diff --git a/ivtest/ivltests/README_sv_queue_locators.txt b/ivtest/ivltests/README_sv_queue_locators.txt index 4ec76637b..c2f6282e8 100644 --- a/ivtest/ivltests/README_sv_queue_locators.txt +++ b/ivtest/ivltests/README_sv_queue_locators.txt @@ -54,10 +54,12 @@ Regression tests (see ivtest/vvp_tests/*.json and regress-vvp.list): sv_darray_min_max.v min() and max() on dynamic array values. sv_queue_min_max_with.v min()/max() with predicate on queue values. sv_darray_min_max_with.v min()/max() with predicate on dynamic arrays. - sv_class_darray_prop_locators.v locator methods on class dynamic-array properties. + sv_class_darray_prop_locators.v locator methods on class dynamic-array properties + (including sum/product with expression). sv_queue_unique_with.v unique()/unique_index() with predicate on queues. sv_darray_unique_with.v unique()/unique_index() with predicate on dynamic arrays. - sv_class_queue_prop_locators.v locator methods on class queue properties. + sv_class_queue_prop_locators.v locator methods on class queue properties + (including sum/product with expression). sv_queue_product.v integral product() reduction on queues. sv_darray_product.v integral product() reduction on dynamic arrays. sv_queue_product_with.v product() with expression on queues. diff --git a/ivtest/ivltests/sv_class_darray_prop_locators.v b/ivtest/ivltests/sv_class_darray_prop_locators.v index 7458e8ffe..03409a5c6 100644 --- a/ivtest/ivltests/sv_class_darray_prop_locators.v +++ b/ivtest/ivltests/sv_class_darray_prop_locators.v @@ -59,6 +59,8 @@ module test; c.d = '{2, 3, 4}; `check(c.d.product(), 24); + `check(c.d.sum() with (item + 1), 12); + `check(c.d.product() with (item + 1), 60); if (!failed) $display("PASSED"); diff --git a/ivtest/ivltests/sv_class_queue_prop_locators.v b/ivtest/ivltests/sv_class_queue_prop_locators.v index c6e5adf0b..2a30a0460 100644 --- a/ivtest/ivltests/sv_class_queue_prop_locators.v +++ b/ivtest/ivltests/sv_class_queue_prop_locators.v @@ -51,6 +51,8 @@ module test; c.q = '{2, 3, 4}; `check(c.q.product(), 24); + `check(c.q.sum() with (item + 1), 12); + `check(c.q.product() with (item + 1), 60); if (!failed) $display("PASSED");