If your next design has 100 million gates then what tools are you going to use for logic synthesis?
Until today you would be faced with breaking up your design into blocks and then stitching them together, hoping that your partitioning didn’t miss any critical paths that cross block boundaries.
Oasys is the newest logic synthesis [...]

continue reading.....

I talked with Holly Stump at Jasper by phone last week about their newest release of formal verification tools. Holly has worked before at Sequence and Precedence.
Because formal tools examine the state space of your logic design they can run a long time and take up lots of RAM, so Jasper did something about it. [...]

continue reading.....