Calypto Design Systems, Inc.

based on its patented sequential analysis technology -- include the SLEC product family which provides comprehensive functional verification, and the PowerPro product family which reduces power by up to 60% in RTL designs.