Congratulations to Xing Wei, Yi Diao, and Tak-Kei Lam (supervised by Prof. Yu-Laing David Wu) for winning the championship of international ICCAD contest 2014 in the contest problem “Simultaneous CNF Encoder Optimization with SAT solver Setting Selection”.
The team has attempted to solve the problem with non-conventional “DNA-tracing” approach, i.e. mixing certain advanced logic synthesis techniques together with the internal knowledge of the known multiplier’s structural property (“structural signature”) analysis. The same team has won in the contest for consecutive three years since 2012, with a record highest accumulated winning gaps atop the 2nd place teams.
The problem was posted by a leading EDA company Cadence to challenge global academia institutes, with cash prize sponsored by the Ministry of Education (MOE) of Taiwan. The annual CAD Contest in Taiwan, sponsored by the Ministry of Education (MOE), has been held for 14 consecutive years and has successfully boosted the EDA research momentum in Taiwan. It has been internationalized under the joint sponsorship of IEEE CEDA and Taiwan MOE since 2012. In the first two years of this new contest, 56 teams from 7 regions and 87 teams from 9 regions have been attracted to join respective 2012 and 2013 CAD contest. Many results of top teams have been further enhanced and converted to top international conference and/or journal papers. | |
