bind的主要作用是实现RTL中不需要synthsis的部分可以，都放在另外一个module中，但是不影响最终的结果。
所以bind可以保证design和assert可以分开。
bind design_name/module_name property_name intance_name(.property_signal(design_signal));
其中的design name和module name可以是rtl中的design_name或者instance_name，表示将这个assert放到
这个design module的这个instance上，或者所有的instance上。
bind可以看到design module中所有的信号，所以在例化的时候，可以根据需要增加信号。
带有assert的整个design的architecture：
原文：http://www.cnblogs.com/-9-8/p/5873352.html