August 25, 2003
ECE CSSI graduate students Smriti Gupta and Fang Fang won best paper awards at TECHCON 2003, August 25-27, at the Hyatt Regency in Dallas, Texas. Gupta's paper in the "CADT: Design Verification" session is titled "Towards Formal Verification of Analog and Mixed-Signal Designs." Fang's system design paper is called "Efficient Static Analysis of Fixed-Point Error in DSP Applications via Affine Arithmetic Modeling."
TECHCON 2003 featured more than 150 student-presented papers and related posters at TechFair, a recruiting event in CareerConnections, special sessions including presentation of the winners of the SiGe Design Contest, SRC awards presentations, and the Graduate Fellowship Program Annual Conference Banquet.