Body Voltage using SPICE-like simulation

Hi everybody;

I have a project which concerns the impact of the TSV (Through Silcon Via) on the nMOS transistor. Does anyone have an idea on how to measure the nMOSFET Body voltage with SPICE-like modeling, considering the compact model of BSIM4 or level3-MOS for the nMOS???

Thanks.