Kurshan, TLM/SystemC, hierarchical design!

I had no idea that Bob was dealing with TLM/SystemC and verification now, like I am. 

He is a font of great ideas, so I'd recommend you check his article out if you do not want to be left in the dust...   :-)

Cheers,

Connie

http://www.cadence.com/Community/blogs/ii/archive/2011/05/01/q-amp-a-after-20-years-hierarchical-design-and-verification-gets-real.aspx?utm_source=feedburner&utm_medium=email&utm_campaign=Feed%3A+cadence%2Fcommunity%2Fblogs%2Fii+%28Industry+Insights+Blog%29

Q&A: After 20 Years, Hierarchical Design and Verification Gets Real

By Richard Goering on May 1, 2011Comments(0)Filed under: Industry Insights, ESL, TLM, verification, Simulation, formal verification, top-down design, datapath, hierarchical design, high-level design, control, hierarchical verification, Kurshan

It seems like a simple proposition -- you should be able to design and verify at a high level of abstraction, without re-verifying everything at a low level. But after 20-plus years of discussion in academia and industry, that's still not the case for most design teams. Cadence Fellow Bob Kurshan (right) has researched this topic extensively and has some thoughts about what's needed to make "hierarchical" design and verification real -- and why it's going to happen.

Q: At a recent conference, you gave a presentation on "verification-guided hierarchical design." What's the basic idea behind this methodology?

A: It has a lot of names - I've been calling it hierarchical design or hierarchical 

...

Cheers, 
Connie L. O'Dell 
Sr. Verification Specialist 
c.odell@co-consulting.net 
303-641-5191 
_____________________________________________ 
CO Consulting - Boulder, CO - http://co-consulting.net