Cadence Design Systems, Inc. today announced a broadening of its existing collaboration with ARM to develop an optimized System Realization solution for ARM processors that will enable an end-to-end flow including a full set of interoperable tools, ARM® processor and physical IP, services and methodology from embedded Linux to GDSII. To accelerate adoption of this solution, Cadence will provide a full complement of tutorials and education materials including two methodology reference books and extend their ecosystem of service, methodology and training providers.

To the best of my memory commercial formal tools have been around for a decade or so. Yet the Formal Verification market is still in a state of confusion, with no single tool achieving significant market superiority. There are many startups, but none has really achieve the hoped for financial success. I believe that the principal reason for this state of affair is due to the erroneous positioning of the tools.

The Tuesday morning Accellera breakfast at DAC has become a tradition and a test of the serious intentions of DAC attendees. After a busy Monday and an evening of intense networking showing up for breakfast at 7:30 in the morning is not easy. But many do it and they are rewarded. Not just for the food, mind you, but by the interesting panel that follows. The event will take place in room 203B of the Anaheim Convention Center and will last until 9:00 AM.

Proving how important tools integration has become, Mentor Graphics Corporation announced the new Calibre® InRoute design and verification platform, which now enables designers to natively invoke Calibre tools within the Olympus-SoCT place and route system to achieve true manufacturing closure during physical design. The Calibre InRoute product automatically detects and fixes DRC violations and performs design for manufacturing (DFM) enhancements while optimizing for area, timing, power and signal integrity. The full power of the Olympus-SoC and Calibre platforms together improve design quality, eliminate late-stage surprises, and significantly reduce time to closure.