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: