The group's principle activity is to provide software products based on a unique sequential analysis technology that enables designers to produce high-quality electronic systems using automated design and verification solutions. The group's products include SLEC product family that provides comprehensive RTL verification and PowerPro product family that automates power reduction in RTL designs. The group operates from United States.
