01 Aug '15, 3am

Making EDA Exciting Again!!

Re-define design specification to support more deterministic modeling and proof of correctness: The front-end of design is generally most resistant to automation, so I don't know how quickly any solution can make an impact here. But it does seem inevitable that the complexity of large systems will eventually require more support in design and architecture validation than dynamic modeling alone can provide. This isn't about different behavioral representations (C versus SystemC versus whatever). Representation has to start with static, provably correct (per some expectation) modeling, along the lines of something like UML. Re-define design implementation to support correct by construction or comprehensive proof of correctness: It's crazy to continue to build large designs however we please, then expect to somehow verify that all that stuff is correct (whatever that means). ...

Full article: http://www.eetimes.com/author.asp?section_id=36&doc_id=13...

Tweets

This #SG50, we've teamed up with students of @L...

tangs.com 31 Jul '15, 6am

Conceptualised and crafted by students from LASALLE's BA (Hons) Fashion Design and Textiles Porgramme, this collection fea...

10 Great Non-Profits Making a Difference in the...

searchenginejournal.com 02 Aug '15, 2pm

Following a decade in the United Nations, Toshi Nakamura and Ewa Wojkowska founded Kopernik in 2010 as a way to connect si...

Roger Partners and ASD picked to give St. Peter...

inhabitat.com 30 Jul '15, 12pm

were selected to design the new hybrid pier and park in St Petersburg , Florida. The city council approved the plans for a...

Startup Award Goes to Incubator | EE Times - EE...

eetimes.com 22 Jul '15, 11am

SAN JOSE, Calif. — An incubator for semiconductor startups was itself named the startup of the year in the annual ACE Awar...

IoT Accelerators Offer Advice to Entrepreneurs ...

eetimes.com 28 Jul '15, 8pm

SANTA CLARA, CA — As part of the rising wave of interest in the Internet of Things (IoT), programs have appeared to help d...

Beyond Energy: Making the Distributed Grid ‘Capacity-Efficient’

Beyond Energy: Making the Distributed Grid ‘Cap...

greentechmedia.com 28 Jul '15, 1pm

Ask your typical utility customer what it means to be energy-efficient, or what “green energy” is, and you’re likely to ge...