Atrenta SpyGlass v5.5.1arly Design Analysis for Logic Designers (Lint) Using advanced static analysis, ...