Using advanced static and dynamic analysis, the SpyGlass® solution pinpoints structural, coding and consistency problems at RTL. In addition, the solution offers the industy's most comprehensive solution for analysis of clock, reset and clock domain crossings (CDC). It traces problems to their source, helps users resolve issues before they creep into downstream design implementation. The SpyGlass solution also helps address electrical rules (ERC) in the design.