Binding

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：