qjlsy
Member level 3
syn & sta
Is STA used for checking whether each APR's result meet the constraint of syn which are used to produce current APR's input?
As we know, during the iterations between syn & backend, each syn. turn uses different constraint. So does it mean in each STA turn, should STA script be changed to comply with the syn script used to produce current APR's input?
Thanks a lot!
Is STA used for checking whether each APR's result meet the constraint of syn which are used to produce current APR's input?
As we know, during the iterations between syn & backend, each syn. turn uses different constraint. So does it mean in each STA turn, should STA script be changed to comply with the syn script used to produce current APR's input?
Thanks a lot!