Latest Article
Coverage metrics gain ground in formal verification
By Richard Goering
07/22/08
Coverage metrics will play an increasingly important role in formal verification, according to Hana Chockler, research staff member at IBM's Haifa Research Laboratory and general chair of the upcoming Haifa Verification Conference (HVC 2008). In this interview, Chockler describes some of her latest research and discusses HVC's focus on both software and hardware verification.
Read more...
Article Archive
Tuesday, June, 24th 2008 by Richard Goering
How TI copes with IC design complexity
Read more...Monday, May, 19th 2008 by Richard Goering
DAC award winner eyes future of synthesis
Read more...Tuesday, April, 22nd 2008 by Richard Goering
Design for manufacturability gears up for 32 nm
Read more...Wednesday, March, 19th 2008 by Richard Goering
What's needed for ESL success
Read more...Monday, February, 18th 2008 by Richard Goering
How assertions improve design and verification
Read more...Friday, January, 18th 2008 by Richard Goering
Meeting the SoC integration challenge
Read more...Wednesday, December, 19th 2007 by Richard Goering
Analog complexity demands new verification approaches
Read more...Monday, November, 19th 2007 by Richard Goering
Making system-level design work
Read more...Wednesday, October, 17th 2007 by Richard Goering
Who needs statistical timing and how to use it
Read more... 