tree ee554c5170e90bd761712fee2f92a259f3ac7e3c
parent 20dc84342da47ab62bcdd0991817e38237823d28
author Cindy Chen <chencindy@opentitan.org> 1637011859 -0800
committer cindychip <cindy.chen0316@gmail.com> 1637023835 -0800

[fpv] Fix some assumptions in prim_count

This PR fixes some assumptions in prim_count for cross mode.
1). The down counter underflow assumption used `%` that could be very
complex for FPV. I slightly change the assumption to avoid `%`.
2). Underflow and overflow assumptions should apply to all cross
counters because they have up and down counters.
3). ASSERT_INIT for FPV is only used for parameters and constants, thus
does not apply to the wire. Excluded that assertion check for simulation
only.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>