Patents by Inventor Robert Fredieu

Robert Fredieu 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).

  • Protocol probes
    Patent number: 9679098
    Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.
    Type: Grant
    Filed: January 29, 2015
    Date of Patent: June 13, 2017
    Assignee: Mentor Graphics Corporation
    Inventors: Andreas Meyer, Adam Erickson, Michael Concannon, Robert Fredieu
  • System-level analysis with transactions from protocol probes
    Patent number: 9477806
    Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.
    Type: Grant
    Filed: January 30, 2015
    Date of Patent: October 25, 2016
    Assignee: Mentor Graphics Corporation
    Inventors: Andreas Meyer, Adam Erickson, Michael Concannon, Robert Fredieu
  • PROTOCOL PROBES
    Publication number: 20160224713
    Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.
    Type: Application
    Filed: January 29, 2015
    Publication date: August 4, 2016
    Inventors: Andreas Meyer, Adam Erickson, Michael Concannon, Robert Fredieu
  • SYSTEM-LEVEL ANALYSIS WITH TRANSACTIONS FROM PROTOCOL PROBES
    Publication number: 20160224715
    Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.
    Type: Application
    Filed: January 30, 2015
    Publication date: August 4, 2016
    Inventors: Andreas Meyer, Adam Erickson, Michael Concannon, Robert Fredieu