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.