Directs the Design Assistant to detect an improper synchronizer that moves data across asynchronous domain boundaries in the design.
- PLDWorld -
