Patents by Inventor Simon Davidmann

Simon Davidmann has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 12153863
    Abstract: The invention relates to methods of simulation of a plurality of processors running on a plurality of cores, to multi-core microprocessor systems in which such methods may be carried out, and to computer program products configured to perform a simulation of a plurality of processors, running on a plurality of cores. According to a first aspect of the invention, there is provided a method of running a plurality of simulated processors on a plurality of cores, in which simulation of the processors is performed in parallel on the plurality of cores.
    Type: Grant
    Filed: February 3, 2023
    Date of Patent: November 26, 2024
    Assignee: Synopsys, Inc.
    Inventors: James Kenney, Simon Davidmann
  • Publication number: 20230185991
    Abstract: The invention relates to methods of simulation of a plurality of processors running on a plurality of cores, to multi-core microprocessor systems in which such methods may be carried out, and to computer program products configured to perform a simulation of a plurality of processors, running on a plurality of cores. According to a first aspect of the invention, there is provided a method of running a plurality of simulated processors on a plurality of cores, in which simulation of the processors is performed in parallel on the plurality of cores.
    Type: Application
    Filed: February 3, 2023
    Publication date: June 15, 2023
    Inventors: James KENNEY, Simon DAVIDMANN
  • Patent number: 11574087
    Abstract: The invention relates to methods of simulation of a plurality of processors running on a plurality of cores, to multi-core microprocessor systems in which such methods may be carried out, and to computer program products configured to perform a simulation of a plurality of processors, running on a plurality of cores. According to a first aspect of the invention, there is provided a method of running a plurality of simulated processors on a plurality of cores, in which simulation of the processors is performed in parallel on the plurality of cores.
    Type: Grant
    Filed: October 16, 2014
    Date of Patent: February 7, 2023
    Assignee: IMPERAS SOFTWARE LTD.
    Inventors: James Kenney, Simon Davidmann
  • Patent number: 9658849
    Abstract: In a method of simulating a processor system by running code that simulates the system on a host processor, code is translated at run time to a form required by the host processor. All instructions are mapped to a native instruction set of the host using two or more different code dictionaries: the translated instructions are mapped to multiple and different dictionaries dependent on the execution privilege level or mode of the simulated processor. If an instruction is encountered during runtime that changes the mode of the processor the code dictionary is switched to use the dictionary associated with the new mode. The different modes require different instruction mappings to the native instruction set of the host using different models that more accurately represent the behavior of the system code and hardware in the system being simulated.
    Type: Grant
    Filed: February 19, 2013
    Date of Patent: May 23, 2017
    Assignee: IMPERAS SOFTWARE LTD.
    Inventors: James Kenney, Simon Davidmann
  • Patent number: 8417508
    Abstract: In a method of simulating a multi-processor system by running code that simulates the system on a host processor, a SPECULATE and a COMMIT instruction is used to mark an area of memory, shared across several simulated processors, and the code is translated at run time to a form required by the host processor. All instructions are mapped to a native instruction set of the host using two different code dictionaries: all instructions outside a SPECULATE/COMMIT region are mapped to the first of the two code dictionaries. If a SPECULATE instruction is encountered during runtime by a simulator running the code, the instructions are mapped to a native instruction set of the host using the second code dictionary.
    Type: Grant
    Filed: July 6, 2007
    Date of Patent: April 9, 2013
    Assignee: Imperas Software Ltd.
    Inventors: James Kenney, Simon Davidmann
  • Patent number: 7035781
    Abstract: An HDL simulator having an automated interface to compiled or interpreted application code written in a general purpose language. The interface enables the HDL code to have a direct data access to and from the application code. The simulator automatically maps and converts HDL data types to and from programming language data types, such as the arguments of routine calls or direct data accesses. Further, the simulator provides a programming language calling mechanism and automatically does data type mapping of arguments, which enables the HDL to call application code routines compiled with a standard compiler, and enables such routines to call functions in the HDL. The simulator automatically generates wrappers for the interface which automatically map data types for direct data access when the application code is compiled, and can output messages upon the occurrence of calls or returns.
    Type: Grant
    Filed: December 29, 2000
    Date of Patent: April 25, 2006
    Assignee: Synopsys, Inc.
    Inventors: Peter Flake, Simon Davidmann, Matthew Hall, James Kenney