Category: Verification

Floating-Point Based Testbenches

In a traditional RTL development flow, the design is pre-evaluated at the behavioral level by system simulation.  In a DSP or algorithm type of designs, the design can be evaluated with double-precision floating point math using either in C, or Matlab, or some other tools.   After performance validation, the design is then re-evaluated with finite-precision […]