Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
International Buisiness Machines Corporation
| International Buisiness Machines Corporation Patent applications | ||
| Patent application number | Title | Published |
|---|---|---|
| 20090319961 | Method of Verification of Address Translation Mechanisms - Device, system and method of verification of address translation mechanisms. For example, an apparatus for testing an address translation mechanism of a design-under-test, the apparatus including: a test generator to receive a specification of at least one address translation table, and to generate one or more constraint-satisfaction-problem projectors over a plurality of attributes of said address translation table. | 12-24-2009 |