Friday, September 2, 2011

HLS, Catapult C, Carl Icahn, & Brett Cline, Irene, SNPS vs. LAVA at Samsung, GateRocket, courtesy of John Cooley

Brett gets his soapbox. But he has some fair points about the EDA pricing models for high-level synthesis which I find hard to argue with, having supported formal verification at Cadence... :-)

Connie L. O'Dell
Sr. Verification Specialist

---------- Forwarded message ----------
From: John Cooley
Date: Thu, Sep 1, 2011 at 10:45 PM
Subject: SNPS vs. LAVA at Samsung, GateRocket, Catapult C, Icahn, Irene

Hurricane Irene wipes out 13 days of Cooley/ emails

Carl Icahn accountability forced MENT to trade away Catapult C

Kludgy, nichey SystemC/C/C++ synthesis forced MENT to dump CatC

Stingy FPGA customers is probably what killed off GateRocket EDA

Synopsys appears trying to counter the Samsung/Magma SPICE rumor


Stu Sutherland's new SystemVerilog Verification Foundations class

No comments:

Post a Comment