用于IC开发设计中,进行spyglas对硬件代码检查错误,包含cdc和lint错误,特别是cdc跨时钟的语法检测,极为有用