Axiomise, a provider of formal verification solutions, has announced the launch of footprint, an area analyser solution ...