Static analysis of the design during RTL development, to check for design errors and violation of the coding styles leads to shorter design and verification cycle. Design checking has often been ...