a place to describe glitch-soc and how it differs from upstream mastodon ...

With the integration of multiple designs, various clock domains are introduced. In this paper, we present a solution for finding clock domain crossing glitch using a combination of formal verification ...