Put pragmas around assertions

[Blebowski]

Hi,

when trying to synthesize the generated register map with Design compiler, I get warnings due to
assertions that check the generated block behavior:

Line 1289: Warning:  /tmp/dummy_block.sv:83: The construct 'immediate assertion' is not supported in synthesis; it is ignored. (VER-708)

I think it would be good to put synthesis translate on/off around these assertions.

[amykyta3]

Comment pragmas are not ideal since they have extremely poor standardization and have numerous variations across different toolchains, so they are generally not considered good practice.

I would be open to wrapping these assertions with ifndef SYNTHESIS preprocessor directives instead.

[Blebowski]

Agreed, this is a better approach. SYNTHESIS define sounds good.