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... :-)

Cheers,
Connie L. O'Dell
Sr. Verification Specialist
c.odell@co-consulting.net
303-641-5191

---------- 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/DeepChip.com emails
http://www.deepchip.com/wiretap/110901.html

Carl Icahn accountability forced MENT to trade away Catapult C
http://www.deepchip.com/wiretap/110828.html

Kludgy, nichey SystemC/C/C++ synthesis forced MENT to dump CatC
http://www.deepchip.com/wiretap/110827.html

Stingy FPGA customers is probably what killed off GateRocket EDA
http://www.deepchip.com/wiretap/110818.html

Synopsys appears trying to counter the Samsung/Magma SPICE rumor
http://www.deepchip.com/wiretap/110808.html

----------------------------------------------

Stu Sutherland's new SystemVerilog Verification Foundations class
http://www.deepchip.com/look/see110901-01.html