类型
详细要求
例化类
端口例化应采取名称映射的方式，避免位置映射
端口例化时不应进行逻辑运算操作
……
敏感列表类
应保证进程中的敏感列表完整、正确避免敏感信号多余或缺失
运算类
同一模块中的单向信号不应有多重驱动
综合/约束类
在用于综合的代码中避免使用不可综合的代码