Recently Blue Pearl Software announced the availability of a new feature named ACE – Advanced Clock Environment (http://www.bluepearlsoftware.com/ace/ ). We at VerifWorks tried it on one of our existing DSP designs. The design is not very complex, but it has multiple clock domains, as the core clock is faster than the Enqueue and Dequeue logic. […]