I am trying to use a MOSFET model for constructing transistor level circuits in ADS. (For instance, an amplifier). I saw that we could import transistor libraries from various locations (https://www.ece.ucsb.edu/~long/ece594a/ece594a.htm) or from a library (https://ece.umd.edu/~newcomb/pub/spicedsk/bicmosis/bsim3.lib) to ADS/SPICE schematic.
I see that the descriptions of the MOSFET model are available as PDF (http://cmosedu.com/cmos1/BSIM4_manual.pdf) where they describe the equations for MOSFET and values of the parameters (LL,LLN,etc...) are available in the library file (*.lib). This could differ for each model (Equations/parameters).
Now, when we include this model in SPICE or ADS and plot the drain current or transconductance, how do we know that SPICE/ADS uses the particular equations for that particular model? Because the equations are not defined in the model file as well.
I am happy to declare a separate equation for the current equation in ADS for that model, but how its plotting without it? Is it plotting with basic LEVEL-1 equations (square law)?