Formal Verification       


Machine Organization Accomplishment | 1996 - present

IBM researchers: TBD

Where the work was done: IBM Haifa Research Lab

What we accomplished: Formally prove that logic designs are correct.

Related link: Wikipedia

BACK TO MACHINE ORGANIZATION

BACK TO IBM RESEARCH ACCOMPLISHMENTS