| Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal Recent countries visiting this post |  |
 | 3 | United States |
| Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal Recent countries visiting this post | |
| 3 | United States |