×

SYSTEM, METHOD AND COMPUTER-ACCESSIBLE MEDIUM FOR SECURITY VERIFICATION OF THIRD PARTY INTELLECTUAL PROPERTY CORES

  • US 20160098565A1
  • Filed: 12/03/2015
  • Published: 04/07/2016
  • Est. Priority Date: 10/03/2014
  • Status: Active Grant
First Claim
Patent Images

1. A non-transitory computer-accessible medium having stored thereon computer-executable instructions for determining a presence of at least one Trojan in at least one configuration, wherein, when a computer arrangement executes the instructions, the computer arrangement is configured to perform procedures comprising:

  • receiving electronic data related to at least one property; and

    determining the presence of the at least one Trojan based on the electronic data, the at least one property and at least one design of the at least one configuration using a bounded model checking (BMC) engine.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×