Verification: A complete set of Analog/Mixed-Signal behavioral models is absolutely necessary to verify modern System-on-Chip (SOC) devices or any mixed signal device too large to fit into a Spice simulator. It is especially critical if there are adaptive digital control loops such as automatic gain control or digitally controlled frequency synthesizers or even automated self-calibration. With the cost of today's small geometry mask sets it is irresponsible to neglect functional verification, or to "make do" with less than optimal models.
System Design: Behavioral models can be the link between high level plans using C, Matlab etc. and the detailed design level of RTL and schecmatic. Behavioral models may be executed on the same platform as the final design and their output waveforms graphically displayed side by side and compared to those of the final design. As such, they become an "executable spec" for the final design.