Overview
The Software and Verification Technologies department spans a wide spectrum of activities in the areas of software performance optimization technologies, hardware and software verification techniques, and Analog and Mixed Signal Technologies. The focus is both on reliability and correctness of development processes, as well as on performance of the generated software/hardware systems. Half of the resources invested in developing ASICs, processors and systems go to verifying that they function according to specification. The techniques developed in this department are employed to verify hardware designs and software systems within IBM as well as for external companies.
Senior Manager
David Bernstein,
