Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
add_comb.prf | 2021-05-19 15:46 | 138K | ||
add_unpack.prf | 2021-05-19 15:46 | 117K | ||
ieee_inverse.prf | 2021-05-19 15:46 | 58K | ||
fpadd_lem.prf | 2021-05-19 15:46 | 56K | ||
align_shift.prf | 2021-05-19 15:46 | 45K | ||
align_shift_alpha.prf | 2021-05-19 15:46 | 31K | ||
add_unpack.pvs | 2021-05-19 15:46 | 25K | ||
add_comb.pvs | 2021-05-19 15:46 | 13K | ||
sticky.prf | 2021-05-19 15:46 | 11K | ||
fpadder.prf | 2021-05-19 15:46 | 9.3K | ||
pvs-strategies | 2021-05-19 15:46 | 6.5K | ||
fpadd_sign.prf | 2021-05-19 15:46 | 5.6K | ||
sig_add.prf | 2021-05-19 15:46 | 5.5K | ||
fpadd.prf | 2021-05-19 15:46 | 4.4K | ||
fpadd_sign.pvs | 2021-05-19 15:46 | 3.8K | ||
fpadd_lem.pvs | 2021-05-19 15:46 | 3.7K | ||
ieee_sign.pvs | 2021-05-19 15:46 | 3.7K | ||
limit.prf | 2021-05-19 15:46 | 3.4K | ||
align_shift_2.prf | 2021-05-19 15:46 | 3.3K | ||
stage_2.prf | 2021-05-19 15:46 | 3.0K | ||
ieee_inverse.pvs | 2021-05-19 15:46 | 3.0K | ||
stage_2.pvs | 2021-05-19 15:46 | 2.9K | ||
fpadd.pvs | 2021-05-19 15:46 | 2.8K | ||
sig_add.pvs | 2021-05-19 15:46 | 2.6K | ||
align_shift.pvs | 2021-05-19 15:46 | 2.5K | ||
align_shift_alpha.pvs | 2021-05-19 15:46 | 2.3K | ||
stage_3.prf | 2021-05-19 15:46 | 2.0K | ||
align_shift_2.pvs | 2021-05-19 15:46 | 1.9K | ||
swap.pvs | 2021-05-19 15:46 | 1.6K | ||
sticky.pvs | 2021-05-19 15:46 | 1.4K | ||
COPYRIGHT | 2021-05-19 15:46 | 1.4K | ||
ieee_sign.prf | 2021-05-19 15:46 | 1.3K | ||
fpadder.pvs | 2021-05-19 15:46 | 1.3K | ||
stage_1.pvs | 2021-05-19 15:46 | 1.2K | ||
exp_sub.prf | 2021-05-19 15:46 | 1.1K | ||
align_shift_3.pvs | 2021-05-19 15:46 | 1.1K | ||
swap.prf | 2021-05-19 15:46 | 1.0K | ||
limit.pvs | 2021-05-19 15:46 | 966 | ||
stage_1.prf | 2021-05-19 15:46 | 955 | ||
exp_sub.pvs | 2021-05-19 15:46 | 783 | ||
align_shift_types.pvs | 2021-05-19 15:46 | 777 | ||
stage_3.pvs | 2021-05-19 15:46 | 761 | ||
align_shift_1.pvs | 2021-05-19 15:46 | 756 | ||
align_shift_1.prf | 2021-05-19 15:46 | 573 | ||
adder_types.pvs | 2021-05-19 15:46 | 542 | ||
align_shift_3.prf | 2021-05-19 15:46 | 464 | ||
adder_import.pvs | 2021-05-19 15:46 | 155 | ||