ArchPro Design Automation provides EDA products to meet low-power and multi-voltage power management challenges. Its products include multi-voltage simulator, which verifies power-managed designs, and supports ARM intelligent energy manager technology, multi-volt rule checker that analyzes design in various states to enable multi-voltage equivalence checking, and multi-volt synthesis, which automates the implementation of multiple voltages.