- Connected Pins
This rule checks whether specific components are connected.
- Exist Comp
This rule checks whether specific components are connected to specific net and check its count.
- NC Pin
The NC Pin DFE rule checks for the NC pin connectivity.
- Pair Comp
This rule checks whether two specific components are connected.
- Polarity
This rule checks for the connectivity of components that have polarities.
- Prefix
This rule checks whether specific component use specific name string as a reference name.
- Prohibited Duplicated Net
This rule checks if duplicated net name is used in same component.
- Prohibited Component
This rule checks if duplicated net name is used in same component.
- Standard Net Name
This rule checks whether the nets connected to specific component have standard net name.
- Duplicated Pins
The output pins of power device can be connected to the same net to flow large current. This rule checks whether the out pins of same device are connected to the same net. And check if the output pin of target device is connected to the specified net.
- Input Threshold Voltage
This rule navigates the power and signal nets to find the voltage, then checks if the signal voltage for the input pin is between Vil_max ~ Vih_min. It also checks that the input power voltage for the power pin does not exceed the allowable value.
