Specially designed HF ionospheric propagation measurements were made and analyzed to confirm the validity and bandwidth limitations of a proposed stationary HF ionospheric channel model. In the model, the input (transmitted) signal feeds an ideal delay line and is delivered at several taps with adjustable delays, one for each resolvable ionospheric modal component. Each delayed signal is modulated in amplitude and phase by a baseband tap-gain function, and the delayed and modulated signals are summed (with additive noise) to form the output (received) signal. Statistical specifications for the tap-gain functions involved three hypotheses: 1) that each tap-gain function is a complexGaussian process that produces Rayleigh fading, 2) that the tapgain functions are independent, and 3) that each tap-gain function has a spectrum that in general is the sum of two Gaussian functions of frequency, one for each magnetoionic component. Statistical tests were performed on daytime and nighttime measurements confirming the validity of the three hypotheses, and thereby the validity of the model. For practical applications, the model can be considered valid over a bandwidth equal to about one fourth of the reciprocal of the effective (weighted) time spreads on the ionospheric modal components. The model should be useful both in theoretical analyses of communication system performance and for channel simulator designs.