Post-mapping formal Verification with DIPLODOCUS Simulator does not work
On the interactive simulation dialog, on the formal verification tab, after running exploration, there is an error when trying to view the analysis of the last RG saying "The fill could not be loaded:"