Auxon is building these essential tools. Auxon products can be deployed on developer workstations, during simulation, and on integrated hardware platforms to identify dangerous designs and integrations that today's best requirements-based engineering methods will fail to catch.