As embedded computing pervades all aspects of modern life, it is imperative that the hardware and software designs be free of bugs. Complexity is the primary stumbling block to the effective analysis of designs. This talk presents novel techniques for abstracting designs in order to increase the efficiency of verification. The techniques are aimed at automatic reduction of the state space by creating meaningful abstractions of the design. Results of applying these techniques to complex hardware and software designs demonstrate improvements in verification time of several orders of magnitude compared with conventional approaches.
Jacob A. Abraham is a professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. He is also director of the Computer Engineering Research Center and holds the Cockrell Family Regents Chair in Engineering. He received the bachelor's degree in electrical engineering from the University of Kerala, India, in 1970. His M.S. degree, in electrical engineering, and Ph.D., in electrical engineering and computer science, were received from Stanford University, Stanford, California, in 1971 and 1974, respectively. From 1975 to 1988 he was on the faculty of the University of Illinois, Urbana, Illinois. His research interests include VLSI design and test, formal verification, and fault-tolerant computing. He is the principal investigator of several contracts and grants in these areas, and a consultant to industry and government on testing and fault-tolerant computing. He has over 200 publications, and has supervised more than 40 Ph.D. dissertations. He was elected fellow of the IEEE in 1985, and is also a member of ACM. He has served as associate editor of the IEEE Transactions on Computer-Aided Design and the IEEE Transactions on VLSI Systems, and was chair of the IEEE Computer Society Technical Committee on Fault-Tolerant Computing in 1992 and 1993. He also received the 2005 IEEE Emanuel R. Piore Award and is on the ISI list of the most cited researchers in the world.
Reception to follow in 1215 Beckman.