# Logic Equivalence Check using formality tool having fatal error for cctrlnv.vhd and cpucorenv.vhd

**URL:** <https://discourse.grlib.community/t/logic-equivalence-check-using-formality-tool-having-fatal-error-for-cctrlnv-vhd-and-cpucorenv-vhd/488>\
**Category:** NOEL-V\
**Created:** [19 March 2025 09:44 UTC](https://discourse.grlib.community/t/logic-equivalence-check-using-formality-tool-having-fatal-error-for-cctrlnv-vhd-and-cpucorenv-vhd/488 "2025-03-19T09:44:38Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Chiragkumar](https://avatars.discourse-cdn.com/v4/letter/c/e68b1a/32.png) [@Chiragkumar](https://discourse.grlib.community/u/Chiragkumar)\
**Post date:** [19 March 2025 09:44 UTC](https://discourse.grlib.community/t/logic-equivalence-check-using-formality-tool-having-fatal-error-for-cctrlnv-vhd-and-cpucorenv-vhd/488/1 "2025-03-19T09:44:38Z")

</div>

For Release 2024.4-b4295

I am performing equivalency check of RTL and netlist (generated using Design Compiler) using formality tool of Synopsys. cctrlnv.vhd and cpucorenv.vhd file shows fatal error during execution of set\_top command. This error is shown for all configuration (GP, HP, Lite, Microcontroller, 32/64 bit etc.). Fatal error images are attached herewith for your reference.

My proposed configuration 32-bit RISC processor with GP. Kindly provide the updated file for my evaluation.

 ![Screenshot from 2025-03-19 13-00-05](https://europe1.discourse-cdn.com/flex017/uploads/grlib/original/1X/2a513d3c7fe287d362b6445f2e2588065aac45ad.png)

---

<div class="post-metadata">

**Author:** ![joaquin.espana](https://avatars.discourse-cdn.com/v4/letter/j/3da27b/32.png) [@joaquin.espana](https://discourse.grlib.community/u/joaquin.espana)\
**Post date:** [1 April 2025 10:16 UTC](https://discourse.grlib.community/t/logic-equivalence-check-using-formality-tool-having-fatal-error-for-cctrlnv-vhd-and-cpucorenv-vhd/488/2 "2025-04-01T10:16:41Z")

</div>

Hi Chiragkumar,

The release 2025.1-b4296 has been published now, which includes some fixes for the NOEL-V core. Could you rerun the flow and confirm that this has been solved?

Thanks,  
Joaquin