Dallas IEEE CS Meeting -- 20 APR 2007

IEEE Computer Society

Dallas Chapter

20 APR 2007 Meeting

*When:*	Friday 20 APR 2007 Lunch: 11:30 AM - 12:15 PM Talk: 12:15 PM - 1:00 PM
*Where:*	Texas Instruments ("South Campus") 12500 TI Boulevard (SAME location as 8505 Forest Ln; just redefined main gate) Dallas, TX (Conference Rooms S1 & S2)
*Topic:*	Pervasive Functional Verification of Optimized Digital Systems based on Theorem Proving
*Speaker:*	Dr. habil. Peter-Michael Seidel Computer Science and Engineering Department Southern Methodist University
*Abstract:*	According to the international technology roadmap for semiconductors (ITRS) "verification has become the dominant cost in the modern hardware and software system design process," thereby restricting design sizes, and limiting design exploration and optimization that can by carried out in the tight schedules of application-specific processor and SoC development. Formal methods have emerged as an alternative approach for the functional verification of digital hardware that can improve scalability and that can overcome many of the limitations of traditional validation techniques such as simulation and testing. One powerful class of formal verification approaches is based on theorem proving. In this talk I will present opportunities and challenges of theorem proving approaches in the formal verification of complex digital systems. Practical examples of highly-optimized data paths and functional units that we have formally verified will be highlighted.
*Bio:*	Dr. Peter-Michael Seidel is a faculty in the Computer Science and Engineering Department of Southern Methodist University since Spring 2000. His research is focusing on formal methods and optimizations in Computer Architecture, Computer Arithmetic and VLSI Design. His current research efforts emphasize the areas of High-Performance and Low-Power Functional Units, Application-Specific Processor Generation and Optimization, and the Formal Specification and Verification of Hard- and Software Systems. Dr. Seidel has published numerous results of his research in international refereed conference proceedings and journals. He holds one U.S. patent and has three U.S. patents pending on the optimization of computer arithmetic circuitry and software. Dr. Seidel is program chair of the IEEE conference on Computer Design (ICCD) and member of the program committee for the IEEE Symposium on Computer Arithmetic (Arith). He is a member of the ACM and a senior member of the IEEE.
*Directions:*	Even though TI's Forest Lane site has been given a new official entrance address at 12500 TI Boulevard and been renamed as TI's "South Campus," find our Dallas IEEE CS meetings just as you've always done. Head to the site's SouthEast (SE) entrance off Forest Lane JUST west of Greenville Avenue. Preferred parking is at extreme SE corner of the building. Enter the public lobby at building's SE corner and ask guard to direct you to conference rooms S-1/S-2 (very near this entrance). (See map.)
*Cost:*	Technical Presentation: FREE to both IEEE CS Members and the general public. Lunch: $5 to both Members and Non-Members. Please reserve lunch by 17 APR with our online form or by contacting Lucrecia at 214-480-4194 (Lucrecia) .

Dallas Chapter Home Page