scispace - formally typeset
A

Amir Hekmatpour

Researcher at IBM

Publications -  17
Citations -  1270

Amir Hekmatpour is an academic researcher from IBM. The author has contributed to research in topics: Functional verification & Interface (computing). The author has an hindex of 12, co-authored 17 publications receiving 1270 citations.

Papers
More filters
Patent

Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications

TL;DR: An expert system and processing method employing a three-level hierarchical knowledge base that has a plurality of nodes coupled together is presented in this article, where the inference process proceeds from the behavioral knowledge level through the structural knowledge level to a leaf node of the action level.
Patent

Adaptive hypermedia presentation method and system

TL;DR: In a computer system comprising of a hypermedia computing environment, the presentation of hypermedia objects is adapted to usage of the system as mentioned in this paper, where the frequency with which hypermedia items are used is tracked and the objects are ordered such that the most frequently used objects are made most accessible.
Patent

XML-based system and method for collaborative web-based design and verification of system-on-a-chip

TL;DR: In this article, the authors present a design framework for collaborative design of a product by distributed design team members, which includes a virtual database management system, which receives data from a plurality of distinct sources and creates a single relational database interface to each of the distinct sources.
Patent

Methods, systems, and media for generating a regression suite database

TL;DR: In this paper, a regression manager responsive to user input may be coupled to a harvester module, an analysis module, and a management module, where a regression methodology may be defined from a collection of regression strategies.
Patent

Method for verifying the design of a microprocessor

TL;DR: In this paper, the verification coverage information is decomposed into a set of basic coverage tasks (BCTs), where each BCT is a generic representation of a corresponding task, and the covered BCTs represent verification states covered by the simulation and the holes represent not covered states.