Verification Martial Arts: A Verification Methodology Blog

James O. Bondi

James O. Bondi (Jim) holds a Ph.D. in Electrical Engineering and a Professional Engineer’s license.  For over 31 years, Jim has been involved in the design of computers and software that range in nature from commercial to military, from GP to DSP, and from embedded to desktop.  His special interests include computer architecture, microarchitecture for high performance and/or low power, microprogramming, and computer security.  Jim is currently a Distinguished Member of Technical Staff at Texas Instruments.  He is a senior member of both ACM and IEEE, and currently chairs the Dallas IEEE Computer Society.  Jim holds 6 U.S. patents in various aspects of computer technology.