Multiplier-verification
Verified Implementation of S-C-Rewriting algorithm for Multiplier
Verification
See
vescmulSubtopics
- Vescmul-verify
- A macro to verify a multiplier using VeSCmul from an already created simulation
test vector with vesmul-parse
- Vesmul-parse
- A macro to parse a combinational RTL design and create a simulation
test vector
