International Business Machines Corporation

Sanjay Gupta

James Michael Stafford

Maximino Aguilar, Jr

James Arthur Brewer

Roy Moonseuk Kim

Todd Swanson

Christopher John Spandikow

John William Gorrell, Jr

Steven Leonard Roberts

Michael Edward Criscolo

Ghassan Chidiac

Giancarlo Palleschi

Jeff Nordyke

Matthew Rosenthal

Brian Michael Kerrigan

Tilman Gloekler

Matthew E Fernsler

Binh Thai Hoang

Michael P Zarnick

Kenneth O Brinson

Arnold O Vimba

Kim Betros

Evan E Roubiecek

Yuan-Chang Lo

Roy Emek

Howard Carl Tanner

Itai Jaeger

Daniel Paul Beaman

Norbert M Blam

Charles Edward Tysor

Marvin L Buller

Tzach Schechner

Joseph Anthony Perrie, Iii

Lawrence Allyn McConville

Nicole Dawn Hartman

Mark Alan Jacks

Stephen Sung

Igor Dozorets

Arnie O Vimba

A method for increasing performance of non-relational databases with reduction in view index sizes is provided. One or more user views are provided in addition to the master view having all hierarchical/categorized data. User views are created having a subset of this hierarchical/categorized data that significantly reduces index size and improves performance. The indexes of the user view are associated with the indexes of the master view. This method improves view caching by dividing view cache into partitions based on the types of view, each with different priorities and management techniques. The master view may have a higher priority and may be used by servers while the user view may have lower priorities and may be used by users and client applications. In this way, legacy non-relational databases may continue to be suitably maintained with acceptable performance and avoiding potential cost and risk of migrating to a relational database.

Method and apparatus for reducing index sizes and increasing performance of non-relational databases

A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.

System and method for incorporating design behavior and external stimulus in microprocessor emulation model feedback using a shared memory

A method and system is provided that optimizes performance in non-relational databases. According to one aspect, view index size is kept at a level that optimizes performance by categorizing and sorting only a subset of the columns contained within the corresponding view. The remaining columns are marked as having been categorized and sorted, but are not actually categorized and sorted until these columns are queried.

Method and system for optimizing database performance

A design structure is embodied in a machine readable medium for designing, manufacturing, or testing integrated circuitry. The design structure includes a general purpose computational resource for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is for: storing test patterns, a description of the integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns.

Structure for testing an operation of integrated circuitry

Mechanisms are provided in which a previously verified SoC is coupled to a SoC under test via a communication bus or other type of communication interface. The previously verified SoC is provided with the same test stimuli as the SoC under test and thus, generates expected test results data. The test stimuli are sent to the SoC under test via a peripheral communication interface between the previously verified SoC and the SoC under test. The SoC under test generates actual test results data that is output to the previously verified SoC. The previously verified SoC may then compare the expected test results data with the actual test result data generated by the SoC under test to determine if they match. If the two sets of data do not match, then a mismatch notification may be generated and output.

Testing sub-systems of a system-on-a-chip using a configurable external system-on-a-chip

A general purpose computational resource is provided for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is provided for: storing test patterns, a description of integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns.

Testing an operation of integrated circuitry

The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.

Dynamically interleaving randomly generated test-cases for functional verification

A method, system and computer program product for controlling access to data files stored in a repository is disclosed. The invention entails a determination of the requested file's availability and the authorization and authentication of the requester. A requester may specify the format in which they wish to receive the data file, and facilities are provided for translating the requested file to the requested format if the file is not stored in the requested format. Advantageously, the invention provides a repository for retaining responses to requests so as to minimize successive requests against the repository for the same data file. Moreover, in such instances wherein a requested data file requires a format translation, a facility is provided for determining the correct stored file format to use as the input for the format translation. Such a determination may be based upon criteria such as minimizing data lost as a result of the translation or minimizing processing required in performing the translation.

Method, system and program product for determining a file format for use in a translation operation

A method and system is provided that optimizes performance in non-relational databases. A method includes: sorting and categorizing a first set of columns within a view of the non-relational database; marking a second set of columns within the view as if the second set of columns were already sorted and categorized prior to actual sorting and categorizing of the second set of columns, the second set of columns including all columns exclusive of the first set of columns; sorting and categorizing at least one column of the second set of columns in response to performing a query on the at least one column; maintaining the first set of columns in a portion of cache; and maintaining the at least one column of the second set of columns in another portion of cache. In the method, the second set of columns is visible as collapsed data.

Method and system for optimizing performance in non-relational databases

A method, system and computer program product for controlling access to data files stored in a repository is disclosed. The method includes receiving a request for a data file from a requester. The request specifies a data format preference for receiving the data file. The requested data format is different than either of a data format used to create the data file and a data format in which the data file is stored at the time of the request. The method also includes determining if the requester is authorized to access the requested data file and translating the requested data file from a stored data format into the requested data format responsive to receiving the request if the stored format differs from the requested format. The method further includes making the translated data file accessible to the requester if it is determined that the requester is authorized.

Providing authorized access and request-initiated translation of data files

A system and method for test generation for system level verification using parallel algorithms are provided. The present invention generates test patterns for system level tests by exploiting the scalability of parallel algorithms while allowing for data set coloring and expected result checking. Based on the characteristics of the system being tested an iterative parallel algorithm is selected from a plurality of possible parallel algorithms. The selected parallel algorithm is then separated into separate program statements for execution by a plurality of processors. A serial version of the selected algorithm is executed to generate a set of expected results. The devised parallel version of the selected algorithm is then run to generate a set of test result data which is compared to the set of expected results. If the two sets of data match, it is determined that the system is operating correctly.

System and method for test generation for system level verification using parallel algorithms

A method is provided in which a previously verified SoC is coupled to a SoC under test via a communication bus or other type of communication interface. The previously verified SoC is provided with the same test stimuli as the SoC under test and thus, generates expected test results data. The test stimuli are sent to the SoC under test via a peripheral communication interface between the previously verified SoC and the SoC under test. The SoC under test generates actual test result data that is output to the previously verified SoC. The previously verified SoC may then compare the expected test results data with the actual test result data generated by the SoC under test to determine if they match. If the two sets of data do not match, then a mismatch notification may be generated and output.

Method for testing sub-systems of a system-on-a-chip using a configurable external system-on-a-chip

Method, system and program product for enabling authorized access and request-initiated translation of data files

Growing community of inventors

Austin, TX, United States of America

Sanjay Gupta