Sign in
Tsachy Kapschitz
Publication Activity (10 Years)
Years Active: 2005-2006
Publications (10 Years): 0
</>
Publications
</>
Uri Frank
,
Tsachy Kapschitz
,
Ran Ginosar
A predictive synchronizer for periodic clock domains.
Formal Methods Syst. Des.
28 (2) (2006)
Tsachy Kapschitz
,
Ran Ginosar
Formal Verification of Synchronizers.
CHARME
(2005)