Abstract :
Among this month´s CEDA Currents newsletter items are the ICCAD 2009 conference, the IEEE Embedded Systems Letters´ most-accessed articles; results of the Memocode Codesign contest, the results of the CAV Award, the IEEE CEDA Phil Kaufman Award; and upcoming CEDA events.
Keywords :
Boolean functions; Circuit synthesis; Circuit testing; Computer science; Data structures; Electronic design automation and methodology; Formal verification; Hardware; IEEE Council on Electronic Design Automation; Software systems; CAV Award; ICCAD; IEEE Embedded Systems Letter; Memocode; Phil Kaufman Award;
