Silicon Investor (SI) -- The First Internet Community

STOCKTALK

We've detected that you're using an ad content blocking browser plug-in or feature. Ads provide a critical source of revenue to the continued operation of Silicon Investor. We ask that you disable ad blocking while on Silicon Investor in the best interests of our community. If you are not using an ad blocker but are still receiving this message, make sure your browser's tracking protection is set to the 'standard' level.

Technology Stocks : LSI Corporation -- Ignore unavailable to you. Want to Upgrade?

To: shane forbes who wrote (9580)	2/8/1998 2:23:00 AM
From: shane forbes	Respond to of 25814

www1.newsalert.com especially this: Support for Formality will be available in upcoming design kits for our ASIC products, including SA-27, our new 0.12-micron copper-based technology --- Big Blue doing very well! and, overall, one of the things Corrigan complained about, tools, are getting better: In one benchmark, Formality demonstrated its capacity by verifying a 2.2-million-gate design in about half a day. In another benchmark demonstrating performance, Formality verified a 1.2-million-gate flat design against the same size hierarchical design in under one hour. The same design would require weeks of gate-level simulation to obtain just partial coverage of the design ----