Skip to content

B5 coverage update #103

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
coreyqh wants to merge 14 commits into
base: main
Choose a base branch
from
Open

B5 coverage update #103

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
bfade4c
fix arithmetic operation bins
coreyqh Apr 27, 2026
5ef77d3
remove sign from cross
coreyqh Apr 27, 2026
111df64
Correct for updated ulp definition
coreyqh Apr 27, 2026
5b2b851
Add TODOs
coreyqh Apr 27, 2026
b7007fc
Merge branch 'main' of https://github.com/coreyqh/cover-float into b5
coreyqh Apr 28, 2026
9efb086
Restore between minsubnorm and zero helper coverpoints
coreyqh Apr 28, 2026
066a821
remove depricated plus/minus 3ulp coverpoints
coreyqh Apr 28, 2026
8f1d144
Correct minNorm cp iff ranges
coreyqh Apr 28, 2026
a6a9b18
standardize SubNorm case
coreyqh Apr 28, 2026
544cc11
Correct minsubnorm +/- 3ulp IFF ranges
coreyqh Apr 28, 2026
f5a2369
Typo fix
coreyqh Apr 28, 2026
7a1781a
restore add/sub with necessary coverage restrictions
coreyqh Apr 28, 2026
90ed7f5
WIP: adding converts; missing helper cps
coreyqh Apr 28, 2026
18e673b
Fix B5 converts coverage
coreyqh Apr 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion coverage/covergroups/B14.svh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ covergroup B14_cg (virtual coverfloat_interface CFI);
type_option.weight = 0;

bins big_neg_shift = {[ $ : -(2*F16_P + 2)]};
bins mid_shift[] = {[-(2*F16_P + 1) : (F16_P + 1) ]};~
bins mid_shift[] = {[-(2*F16_P + 1) : (F16_P + 1) ]};
bins big_pos_shift = {[ (F16_P + 2) : $ ]};

}
Expand Down
Loading