Add support for synchronization primitive
Add support for multi-clock testbenches
Propagete clock information