ECE ILLINOIS Facebook ECE ILLINOIS on Twitter ECE ILLINOIS Alumni and Friends on LinkedIn ECE ILLINOIS Instagram

Contact Info

Brad Petersen
Director of
Communications
1066 ECE Building
306 N. Wright Street
Urbana, IL 61801
Phone: (217) 244-6376
bradp@illinois.edu

Contact Info

Meg Dickinson
Communications Specialist
1068 ECE Building
306 N. Wright Street
Urbana, IL 61801
Phone: (217) 300-6664
megd@illinois.edu

Subscribe to ECE ILLINOIS News

Recent News

Alumnus Bob Johnson: brigadier general, electrical engineer and polo player at 89

Alumnus Bob Johnson: brigadier general, electrical engineer and polo player at 89

Alumnus Bob Johnson (BSEE '38) served in the pacific theatre of the Second World War, reached the rank of brigadier general, worked as an electrical engineer, and played competitive polo until the age of 87.

DVCon 2011 interview with Shobha Vasudevan

 Subscribe to ECE ILLINOIS News

By Tom Moone, ECE ILLINOIS
April 18, 2011

  • 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.

 

 

Editor's note: media inquiries should be directed to Brad Petersen, Director of Communications, at bradp@illinois.edu or (217) 244-6376.

 Subscribe to ECE ILLINOIS News