Abstract :
In its first year, the CEDA Currents Newsletter included articles on Logic Synthesis competition at IWLS, an interview with Robert Brayton, and opinion pieces on the status of, and need for formal verification. The publication is available in two formats: on line at www.ieee-ceda.org, and as an embedded department within IEEE Design & Test, which features technical articles that have direct impact on industrial practice.
