It would appear that you're correct. According to the DesignBuilder help, it follows this approach:
Air is assumed to be dry and at 20°C. The site elevation is used to calculate standard atmospheric pressure using the equation for 'standard atmospheric' pressure on p 6.1 of the ASHRAE 1997 HOF.
Density = P / (R * T)
Where:
R is the Gas constant = 287.05 J/kg-K
T is the temperature in K. Air is assumed to be at 20°C so, T = (20 + 273.15)
P is standard pressure:
P = 101325 x (1.0 − Z x 0.0000225577)^5.2559
where:
Z = Elevation above sea level (m)
This is referred to in the Engineering Reference section on demand controlled ventilation.
RhoStd = standard air density (1.204 kg/m${^3}$}) adjusted for the local barometric pressure (standard barometric pressure corrected for altitude, ASHRAE 1997 HOF pg. 6.1).