SV assertions for common design components with multiple instances

In reply to sva_user:

Although you can place them in any module as long as there is no module instance recursion, the best place to put bind statements is an another top-level module.

If you are going to have a large number of bind statements, you could break the statements up into several `included files, or create a nested set of module instances with bind statements.