Excellicon is a provider of Electronic Design Automation (EDA) software tools. It offers a platform of products covering the entire spectrum of timing constraints authoring, compiling, verification, formal validation, and management.