increasing soc complexity demands verifying correct construction of rtl, clock domain crossing ( cdc), and reset domain crossing ( rdc) early in the rtl phase of development. this document provides an overview of spyglassdft, a tool for comprehensive rtl design a