Arithmatica was a provider of optimization tools, IP, and services for datapath design. CellMath Designer was an RTL datapath synthesis and optimization tool. CellMath Designer produced intermediate hierarchical models after each optimization step enabling an incremental approach to formal verification.
Headquartered in Redwood City, Calif., with a research and development center Warwick, UK
