填空题 构造化法是目前可测性设计的主要方法，可以细分为：（）、边界扫描测试法、（）、静止电源电流法。

填空题 逻辑综合在推断RTL部品时，将值的变化通过时钟触发的信号推断为（），将与时钟无关但某个条件下保持值不变的信号推断为（），将某个条件下生成‘Z’的信号推断为（），将其它的推断为（）。

填空题 逻辑综合就是将（）变换为（），根据（）或（）进行最优化，并进行特定工艺单元库（）的过程。