Berkeley Design Automation - Analog and RF SPICE
"Berkeley Design Automation (BDA) is the electronic design automation (EDA) industry leader in next-generation analog, RF, and mixed-signal integrated circuit (IC) verification."
Analog FastSPICE is based on Precision Circuit Analysis technology. This technology is a proprietary combination of innovative applied mathematics and optimized numerical analysis.