IMPL7. Multi-driven Spyglass/Synthesis 浅析

1. Spyglass Check

a. multi-driven in different instance

i.Code

ii.rpt

b.multi-driven in the same instance

i.code

ii.rpt

c. multi-driven to output port.

i.Code

ii. rpt

2.DC Check

a. multi-driven in different instance(code as same as up)

i. link pass;

ii. pre-map check_design

iii.post-map check_design

note: the invert of bit1 and bit2 is optimized by tools.

b.multi-driven in the same instance(code as same as up)

i.link pass;

ii. pre-map check_design

iii.post-map check _design

note: the invert of bit1 and bit2 is optimized by tools.

c.multi-driven to the output port(code as same as up)

i. link pass

ii. pre-map check_design

iii.post-map check_design

iv. netlist

Note:DC变量：check_design_check_multidriven_output_ports用来控制是否检查output端口的multi-driven的情况；

i.set false

ii. set true

iii. default is false, so the LINT-71 isn't reported.