30 Jan '12, 4pm

Top 10 Tips for Success with Formal Analysis – Part 2

Top 10 Tips for Success with Formal Analysis – Part 2

For a real-world example, consider the case where Texas Instruments applied an OCP ABVIP to exhaustively verify all the OCP buses on-board a multi-million–gate SoC [2]. Given the resource and schedule constraints of the project, they employed OCP ABVIP to give a scalable, plug-and-play setup that offers complete protocol coverage for and confidence in the IP within a short timeframe. Their prior simulation-based flow was taking a distressing amount of time to set up, the controllability of the stimulus was difficult, and the time to debug issues was increasing. Even worse, the simulation methods could not provide the degree of completeness—and therefore risk reduction—that they wanted. By using ABVIP in combination with formal verification tools—without having to write testbenches—they were able to exhaustively prove their IP was compliant with the OCP protocol specificati...

Full article: http://www.eetimes.com/design/eda-design/4235464/Top-10-T...

Tweets

10 Basic Bing Local Optimization Tips

searchengineland.com 30 Jan '12, 4pm

Local business marketers often hyper-focus on Google search rankings, but it’s important not to forget that even if Bing a...

Fundamental versus Technical Analysis – Part 1 ...

thefinance.sg 31 Jan '12, 8am

Fundamental versus Technical Analysis – Part 1 of 3 by Jared Seah on January 31, 2012 No, I am not going to explain via nu...

Malaysia: Why do I care? (Part 2)

blog.limkitsiang.com 02 Feb '12, 7am

If history were any guide, you would surely wonder how a society of Weimar Germany with “unparalleled richness of lively, ...

Integrating Anaerobic Digestion Into Our Culture Part 2: Stats, Reality and the Future

Integrating Anaerobic Digestion Into Our Cultur...

renewableenergyworld.com 31 Jan '12, 5pm

This two-part article explores the ways the waste, energy and agricultural industries are integrating this technology into...

The Indie-Hipster Survival Guide to Laneway Festival 2012: Part 2 – The UrbanWire

The Indie-Hipster Survival Guide to Laneway Fes...

theurbanwire.com 02 Feb '12, 8am

As raw as nature intended, Rachel warms up slow to people. She candidly plants her huge spot of spontaneity in what she di...

Top 10 Reasons Your Facebook Campaign Isn’t Wor...

searchenginejournal.com 27 Jan '12, 2pm

To most PPC marketers, the Facebook paid ads program represents an ideal marketing opportunity. Finally, you aren’t limite...

Video: Nike #KOBESYSTEM Level 7 - Success at Success | Sole Collector

Video: Nike #KOBESYSTEM Level 7 - Success at Su...

solecollector.com 29 Jan '12, 5pm

At an estimated net worth north of $4 billion dollars, it's hard to imagine that Richard Branson needs any help staying mo...

Northeast Carbon Trading System a Startling Suc...

spectrum.ieee.org 28 Jan '12, 9pm

The New York Times carried a small story on an inside page this week that takes stock of the Regional Greenhouse Gas Initi...

CNY 2012 Part 2!: Day 2 of my CNY! My very casual OTD for Day 2. Megagamie Colour Of Love Top in Dark Cobalt Blu...

CNY 2012 Part 2!: Day 2 of my CNY! My very casu...

felicianeo.com 04 Feb '12, 3am

Day 2 of my CNY! My very casual OTD for Day 2. Megagamie Colour Of Love Top in Dark Cobalt Blue + TVD Denim Empire HWS. Yi...

How To Get Hired At A Top SEO Agency: Part 1

How To Get Hired At A Top SEO Agency: Part 1

searchenginejournal.com 24 Jan '12, 5pm

The image from Indeed.com shows how companies have finally figured out that having a well planned SEO strategy is a vital ...

The top 10 luxury ski resorts in Europe

aluxurytravelblog.com 01 Feb '12, 4pm

Skiing was once an exclusive sport which only the super rich could afford. Today, a varied mix of travel options to suit a...