|CSE graduate students Kai-Hui Chang and David Papa were honored at the 2006 International Workshop on Logic and Synthesis (IWLS) in Vail, CO for their winning entry in the First IEEE Programming Challenge at IWLS, sponsored by IEEE Council on Electronic Design Automation (CEDA), with additional financial sponsorship by Cadence and Synplicity. They shared first place and a monetary award with a team from UC Berkeley. Participants are expected to implement one or more logic optimization algorithms on the industrial EDA database OpenAccess, and use the OA Gear infrastructure.|
Among major results of this work is a runtime improvement of over 100 times over pre-existing software for logic simulation and equivalence checking, as well as new interfaces and metrics for incremental logic verification. The software developed by U-M students will be included in the next release of the open-source OA Gear package from Cadence Berkeley Laboratories and is described in the paper "Fast Simulation and Equivalence Checking Using OAGear" co-authored with their advisors Igor Markov and Valeria Bertacco.
Read more about the contest in the EE Times.