Patents by Inventor Francesco Forte

Francesco Forte 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: 11709982
    Abstract: The present invention pertains to a method of verifying a design of an integrated circuit. The methods executes an iteration of simulation test cycle using a digital representation of the design. Next, the method obtains simulation results from the iteration of the simulation test cycle and calculates, during the simulation test cycle, a test coverage value associated with the simulation results of the iteration of the simulation test cycle. If the test coverage value is less than a target value, the method determines if the simulation test cycle fails to satisfies an iteration limiting metric. If the simulation test cycle satisfies the iteration limiting metric, the method, dynamically adjusts one or more simulation test cycle parameter during the simulation test cycle and iterates the simulation test cycle and recalculating the test coverage value until the test coverage value is at least the target value or the simulation test cycle fails to satisfy the iteration limiting metric.
    Type: Grant
    Filed: September 30, 2021
    Date of Patent: July 25, 2023
    Assignee: Kioxia Corporation
    Inventors: Duncan Beadnell, Francesco Forte
  • Publication number: 20230094798
    Abstract: The present invention pertains to a method of verifying a design of an integrated circuit. The methods executes an iteration of simulation test cycle using a digital representation of the design. Next, the method obtains simulation results from the iteration of the simulation test cycle and calculates, during the simulation test cycle, a test coverage value associated with the simulation results of the iteration of the simulation test cycle. If the test coverage value is less than a target value, the method determines if the simulation test cycle fails to satisfies an iteration limiting metric. If the simulation test cycle satisfies the iteration limiting metric, the method, dynamically adjusts one or more simulation test cycle parameter during the simulation test cycle and iterates the simulation test cycle and recalculating the test coverage value until the test coverage value is at least the target value or the simulation test cycle fails to satisfy the iteration limiting metric.
    Type: Application
    Filed: September 30, 2021
    Publication date: March 30, 2023
    Inventors: Duncan BEADNELL, Francesco FORTE
  • Publication number: 20140012676
    Abstract: Data is received from an advertiser regarding a mobile advertising campaign. At least one content item is created based on the data. The content item is made accessible over a network. A mobile tag having a link is generated for the content item, the mobile advertising campaign, and/or the advertiser. The mobile tag is made available to the advertiser, who may then distribute the mobile tag. A consumer scanning the mobile tag with an electronic communication device makes a request for the content item by accessing the link. In response, access to the content item is provided over the network. The advertiser may be charged based on the consumer accessing the content item. More than one of the content items may be created for the mobile advertising campaign, and the advertiser may be charged differently based on which of the content items is provided to the consumer.
    Type: Application
    Filed: July 4, 2012
    Publication date: January 9, 2014
    Inventor: Francesco Forte