DVCon 2011 interview with Shobha Vasudevan

ECE News


Story Highlights

  • ECE Assistant Professor Shobha Vasudevan was interviewed at DVCon 2011.
  • She discussed GoldMine, her software package.
  • GoldMine can generate automatic assertions for testing and verification of systems.

Shobha  Vasudevan
Shobha Vasudevan

ECE Assistant Professor Shobha Vasudevan was interviewed at the recent DVCon 2011 about her software package GoldMine. DVCon is an industry conference on verification. GoldMine combines data mining and formal verification in a fashion that had not been tried before. It automatically generates assertions, which are used to test and debug a design before it is manufactured. Representatives of the most popular tools were interviewed at the conference. GoldMine was the only university tool selected for interview.


Get Flash to see this player.



Media Contact

Julia Sullivan

Assistant Director of Communications
1064 ECE Building
(217) 300-3731

Todd Sweet

Director of Communications
1066 ECE Building
(217) 333-5943