Synchronizers


Behavioral Models
Physical Models