Developer of equivalence checking technology for memory and custom blocks. The company's equivalence checking technology is based on symbolic simulation in which users specify variables as inputs, and the simulator propagates Boolean expressions rather than ones and zeroes providing greater coverage than binary simulation, enabling electronic designers gain confidence in the quality of their designs and reduce the overall verification cost by offering functional verification solutions for full custom silicon implementation.