How is the coprocessor verified?
Cascade automatically captures and applies main processor stimulus and results to the coprocessor. The coprocessor is verified by (a) a performance simulation using an automatically generated bit- and instruction-accurate C model and (b) RTL simulation using an automatically generated RTL testbench. Users can verify coprocessor using the existing software verification environment.