Melnik, D.Lukashenko, O.2016-08-232016-08-232009Melnik, D. Structural Analysis Technique and Bad Synchronization Styles / D. Melnik, O. Lukashenko // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 4. – С. 25-29.http://openarchive.nure.ua/handle/document/1840This paper discusses early detection of potentially missing synchronizers on clock domain crossing paths, using structural static analysis.enclock domain crossingmetastabillitystatic verificationArticle