Knowledge Center
Navigation
Knowledge Center ➜ Entities

Arithmatica

Provider of optimization tools, IP, and services for datapath design
popularity

Description

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

  • HQ: Warwick, UK
  • Type: Company