In the sky130 nfet/pfet models, do the 3 terminal version have bulk connected to source or to some "global" nets ?

The 3-terminal mosfets have a BODY attribute. Bulk connection is by attribute instead of by pin. This leads to some cleaner schematic if you don't have all MOSfets with different body voltages

Ah so I can set that attribute to any node name.

The disadvantage is that you don't see visually the connection, but if ALL pfets bulks are connected to VDD this device might be good for the job.

Yeah, it also allow to draw a line "through" the mosfet which is much nicer for current source / mirrors with many branches 🙂

exactly. Every real analog designer has gone through this. If someone asks why 3 terminals, then he probably did not play much with current sources

Some MOSFET symbols have G and B slightly offset in N-S direction to allow G connections thru the symbol, and still show B connection. I virtually never use the 3-T symbols, if the bulk node is not shown as text on the symbol.

@Harald Pretl Adding the bulk connection text is a nice suggestion, will add that. Changing / offsetting existing pins should not be done at this stage, since it would break existing designs if the symbol library is updated.

Very nice, thank you! Agree that the 4-T symbol should not be changed at this stage.