LEC问题

请教下，lec里面有没有什么命令可以设置类似formality里面的inversion push？就是综合的时候dff插了反向器，设置什么参数可以让lec比得过？

综合的时候加no_seq_inv的option，这样就不会有logic change了

要是不加这个选项呢，网表已经是那样了，lec有什么可以设置的吗？我看了文档没找到

有个-phase的选项，你在文档里搜搜
.66

set map method -phase

add mapped points -invert

懒人建议你综合的时候把no invert push打开，也许综完发现，area稍微多了一点点，但是后续绝对愉快。