I want to use formality to do the hierarchy verification for my design, so i use the write_hirearchical_verification_script command to write out a script, and then i source the scritp. The result told me that there is a block failed and this cause the higher hiearachical block which contains the block all failed.
But when I verify that lower hierarchical block separatly, it is success. Then why the block failed in hierarchical verification?
But the problem is thate when i use the same gate netlist and the rtl netlist of that block and use the same settings to verify them separatly, not in hierarchy, they all passed and reported no failing points.