It looks like you're new here. If you want to get involved, click one of these buttons!
In most design rules, the gate and diffusion extension size are defined for MOSFET. For example, A and B are diffusion and gate extension, respectively.
I think these sizes can be checked by: "(diff - poly).wdith(A).output..." and "(poly - diff).width(B).output...", but I think these are correct.
Are there any better way to check these sizes?