判断题 时间类型可以用于逻辑综合。

判断题 布尔类型只能进行关系运算，不能进行算术运算。

判断题 元件例化语句位置关联时位置必须一一对应。