We are a EDA company writing software for chip designers. With our toosl chip designers can easy find bugs in their designs.