Abstract: A database system including an encoder module and a revision control archive module is disclosed. The encoder module receives signals representing a database access request, generates database access commands, and executes the database access command against a revision control archive module if the database access command causes a change to a data record in the database.

Abstract: Exemplary techniques for verifying a hardware design are described. In a described embodiment, a method comprises compiling an error verification object corresponding to an error verification command to verify a portion of a hardware design of a device under test. The error verification object is compiled in accordance with data provided by an error scripting module. The error scripting module has access to hardware-specific data corresponding to the hardware design of the device under test. The compiled object is sent to the device under test and a response to the compiled object is received from the device under test. The received response from the device under test is parsed in accordance with data provided by the error scripting module.

Abstract: A database system including an encoder module and a revision control archive module is disclosed. The encoder module receives signals representing a database access request, generates database access commands, and executes the database access command against a revision control archive module if the database access command causes a change to a data record in the database.

Abstract: Exemplary techniques for capturing curation data are described. In a described embodiment, a method comprises capturing curation data corresponding to a proposed design model; generating a manifest of a plurality of files identified by the captured curation data; validating stability of the proposed design model by performing one or more commands identified by the captured curation data; and releasing the validated design model in accordance with one or more instructions identified by the captured curation data.

Abstract: Exemplary techniques for model curation are described. In a described embodiment, a method comprises generating a manifest of a plurality of files corresponding to a design model; utilizing a revision control system to determine whether the generated manifest has changed relative to a previous version of the manifest; and if the generated manifest has changed, obtaining copies of the plurality of files to validate stability of the design model and curating the design model.

Abstract: Exemplary techniques for utilizing architecture specific code are described. In a described embodiment, a method comprises storing architecture specific design verification code in a plurality of architecture specific code libraries. Each of the architecture specific code libraries corresponds to a select generation of architecture. The method further verifies a design of the select architecture by utilizing a corresponding architecture specific code library from the plurality of architecture specific code libraries and a non-architecture specific code library. The non-architecture specific code library corresponds to at least two different generations of the architecture.

Abstract: One embodiment of a computer system has processors, having address spaces the processors can address directly. Each address space is directly linked to at least one other address space by memory within more than its own address space. The total size of the address spaces within the system linked together either directly or through directly linked address spaces is greater than the address space any resource within the system can address directly.