Verifying Synchronization in Multi-Clock Domain SoC
暂无分享,去创建一个
An improved receptacle for a trash compactor is mounted on a drawer for movement into and out of the compactor along rails on the drawer. The receptacle is spaced from the rails so that dents or deformations of the receptacle do not affect the rails. The rear end wall of the compactor may be slanted so as to accommodate the arcuate travel of the ram of the compacting mechanism and the receptacle has a pyramidal shape to facilitate removal of the compacted trash.
[1] Ran Ginosar. Fourteen ways to fool your synchronizer , 2003, Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings..
[2] Albin. Property specification language reference manual , 2004 .