home company technologies products partners contact us

  technologies

Over time, Heedsoft has developed an in-depth expertise in formal techniques, symbolic simulation and transistor network analysis domains.

Symbolic simulation: this consists in manipulating mathematical equations and expressions in a symbolic form, as opposed to manipulating the specific numerical quantities or Boolean values represented by those symbols. Because symbolic simulation can cover many system executions in a single simulation, it can greatly reduce the size of verification problems.

Network analysis: a network - in the context of electronics - is a collection of interconnected components. Network analysis is the process of finding the voltages across, and the currents through, every component in the network.

Formal methods are a particular kind of mathematically-based techniques for the verification of a hardware system. In the context of electronics, the value of formal methods is to ensure complete coverage of proof of a given assertion.

Over the years, Heedsoft has developed an in-depth expertise in each of these aspects, and more importantly, in the art of mixing them.