Comparing ATPGs for synchronous sequential circuits