Scan Reorder & Formal

Scan Reorder

在做综合时，DC可以吐出Scan DEF，其中包含scan chain的相关信息，ICC使用这个Scan DEF中提供的physical information，对scan chain做reordering以及timing 优化！

Scan DEF

Scan DEF中包含很多条scan chain，如下图所示

上图中描述了一条scan chain，这条scan chain中包含START和STOP两个宏，用于描述scan chain的boundary，scan chain的boundary可以是：I/O ports, scan cells, lock-up latches, or multiplexers；这里的boundary则是test_si和test_so；
在FLOATING中描述的scan cell则是可以reorderable的，包括head and tail scan cells；
如果不想ICC做scan reorder时动到head tail scan cell的话，可以手动调整scan def如下

也就是说将START和STOP设置为head scan cell的Q pin以及tail scan cell的SI pin；
或者通过下面的命令行实现