Field asymmetric waveform ion mobility spectrometry (FAIMS) holds significant promise for post-ionization separations in conjunction with mass-spectrometric analyses. However, a limited understanding of fundamentals of FAIMS analyzers has made their design and operation largely an empirical exercise. Recently, we developed an a priori simulation of FAIMS that accounts for both ion diffusion (including anisotropic components) and Coulomb repulsion, and validated it by extensive comparisons with FAIMS/MS data. Here it is corroborated further by FAIMS-only measurements, and applied to explore how key instrumental parameters (analytical gap width and length, waveform frequency and profile, the identity and flow speed of buffer gas) affect FAIMS response. We find that the trade-off between resolution and sensitivity can be managed by varying gap width, RF frequency, and (in certain cases) buffer gas, with equivalent outcome. In particular, the resolving power can be approximately doubled compared to "typical" conditions. Throughput may be increased by either accelerating the gas flow (preferable) or shortening the device, but below certain minimum residence times performance deteriorates. Bisinusoidal and clipped-sinusoidal waveforms have comparable merit, but switching to rectangular waveforms would improve resolution and/or sensitivity. For any waveform profile, the ratio of two between voltages in high and low portions of the cycle produces the best performance.