PSL post-processing
With incrementing amount of PSL assert/cover statements there simulation time grows. Since "cover" statements are part of our RTL (not TB), they also contribute to simulation time significantly. But cover/assert statements are not needed for someone who is integrating the RTL and assumes RTL is already tested...
The idea is to create RTL post-processing which would remove PSL statements from RTL. This is easily doable via Python script, however PSL points must be unified through the design.
-
Unify PSL points (add common comments for start/end of PSL sections). -
Implement script which drops PSL section from all RTL. -
Implement script which copies RTL to new folder and creates "released" version of RTL. -
Implement script which append PDF docs to new RTL.