Abstract: A method for a design of a processor's programming and/or simulation tools, comprising developing a single model of a processor from a group consisting of: the processor: a hardware description of the processor; and a processor's specifications confirmed to represent the processor and/or the hardware description; and generating automatically by an Electronic Design Automation tool the processor's programming and/or the simulation tools from the single model of the processor and a set of design parameters. The method further comprises verifying the processor's programming and/or simulation tools using verification application(s) and a reference entity.

Abstract: A method for automatic design of a processor and programming and simulation tools, comprising developing a single model of a processor from processor's specifications; providing the single model of the processor to an Electronic Design Automation tool, which automatically generates a hardware description and programming and simulation tools from the single processor model, and automatically determines validity of the single model of the processor, is disclosed. The method further comprises automatic verification of the designed processor.

Abstract: A method and a system embodying the method for automatic generation of a verification environment, comprising providing a first model of an application-specific instruction-set processor; providing a second model of the application-specific instruction-set processor; and generating automatically the verification environment from the first model and the second model is disclosed.

Abstract: A method and a system embodying the method for automatic application-specific instruction-set processor design and verification, comprising generating programming and simulation tools in accordance with application-specific instruction-set processor specifications automatically by an Electronic Design Automation tool; generating a reference model and a hardware description of the application-specific instruction-set processor in accordance with the application-specific instruction-set processor specifications automatically by the Electronic Design Automation tool; and verifying the hardware description against the reference model is disclosed.

Abstract: A method and a system embodying the method for instruction translation, comprising providing a first finite state automaton; providing a second finite state automaton communicatively coupled with the first finite state automaton via a one-to-many relation; providing the instruction to be translated to one of the first or the second finite state automaton; and receiving a translated instruction from the other of the first or the second finite state automaton is disclosed.

Abstract: An apparatus and a method for detecting and reporting malfunctions in computer programs is described. A malfunction detector detects at least one type of a software malfunction as defined in a configurable malfunction library. A data collector collects data of the software malfunction. A crash reporter reports the crash report in a manner specified in a configurable reporting library corresponding to the type of software malfunction to one or more remote computers.

Abstract: An apparatus and a method for detecting and reporting malfunctions in computer programs is described. A malfunction detector detects at least one type of a software malfunction as defined in a configurable malfunction library. A data collector collects data of the software malfunction. A crash reporter reports the crash report in a manner specified in a configurable reporting library corresponding to the type of software malfunction to one or more remote computers.