Patents by Inventor Alberto Sangiovanni-Vincentelli

Alberto Sangiovanni-Vincentelli 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: 7702499
    Abstract: Systems and methods are provided for annotating software with performance information. The computer code is compiled into assembler code, the assembler code is translated into a simulation model, expressed in assembler-level source code. The simulation model is annotated with information for calculating various performance parameters of the software, such as timing information, or resource usage information. The simulation model is then re-compiled and executed on a simulator, optionally including a hardware simulation model, and the performance information is computed from the simulation.
    Type: Grant
    Filed: May 1, 2001
    Date of Patent: April 20, 2010
    Assignee: Cadence Design Systems, Inc.
    Inventors: Luciano Lavagno, Mihai Lazarescu, Alberto Sangiovanni-Vincentelli, Marcello Lajolo
  • Patent number: 7136947
    Abstract: A system and method for enabling Intellectual Property (IP) Blocks to be reused at a system level. The present invention represents the IP blocks as blocks that exchange messages without needing to represent the functionality of the IP blocks. The implementations of these IP blocks exchanges messages through complex signaling protocols. In conventional systems, interfacing between IP blocks that use different signaling protocols is a tedious and error prone design task. The present invention uses regular expression based protocol descriptions to show how to map the message onto a signaling protocol. Given two protocols, the present invention builds an interface machine that automatically labels data referenced by all protocols. The present invention is capable of generating the interface even when the data sequencing of the two protocols differs.
    Type: Grant
    Filed: June 10, 1999
    Date of Patent: November 14, 2006
    Assignee: Cadence Design Systems, Inc.
    Inventors: Roberto Passerone, James A. Rowson, Alberto Sangiovanni-Vincentelli
  • Patent number: 5752000
    Abstract: A system and method increases discrete function simulator performance by creating a data structure that completely and accurately models a system of discrete function elements. A discrete function simulator simulates the system using the data structure. Sequential circuits are converted into blocks of combinational elements having latch variables stored to and read from memory. The simulator performance is dependent upon the number of system inputs and outputs and not on the number of discrete function elements in the circuit being simulated.
    Type: Grant
    Filed: August 2, 1994
    Date of Patent: May 12, 1998
    Assignee: Cadence Design Systems, Inc.
    Inventors: Patrick C. McGeer, Alexander Saldanha, Alberto Sangiovanni-Vincentelli