Electronic design automation (EDA) company providing logic synthesis and analysis tools for FPGA and ASIC designers.