Cadence Design Systems, Inc.

Bose Corporation

Prasanna Rao

Douglas Warren Young

Niall Tone Kavanagh

Matthew Jannace

Petr William Spacek

Jim Lambert

Daniel Asher Cohen

John LeRoy Pierce

A system and method for securely verifying a connection between a remote device and an audio device. The method includes establishing a wireless connection between the remote device and the audio device. The remote device has an application configured to control operation of the audio device. An identity resolving key (IRK) for the application is obtained with the remote device. The IRK is transmitted to the audio device via the wireless connection. An instruction to is transmitted the audio device to generate a random resolvable address for the application using the IRK and to broadcast data containing the random resolvable address. The data containing the random resolvable address is received by the application of the remote device. An active audio connection between the remote device and the audio device is identified if the random resolvable address is able to be resolved by the application using the IRK.

Secure methods and systems for identifying bluetooth connected devices with installed application

A system and method for securely resolving an identity of an audio device. The method includes establishing a wireless connection between an audio device and a remote device. An identity resolving key (IRK) is received in an encrypted state from the audio device via the wireless connection. A data connection between the remote device and a server is established. The IRK is transmitted in the encrypted state to the server via the data connection. transmitting user credentials to the server via the data connection. The IRK is received in a decrypted state from the server via the data connection. An advertising packet broadcast from the audio device is received by the remote device. The advertising packet includes a random resolvable address for the audio device. The random resolvable address is attempted to be resolved using the IRK in the decrypted state to identify the audio device with remote device.

Secure systems and methods for resolving audio device identity using remote application

The present disclosure relates to a computer-implemented method for electronic design simulation. The method may include providing, using at least one computing device, an electronic design. The method may also include associating, using the at least one computing device, an identifier with each constraint solver call utilized in a simulation of the electronic design. The method may also include generating, using the at least one computing device, an application programming interface configured to allow a user to navigate through electronic design simulation results based upon, at least in part, the identifier associated with each constraint solver call.

System and method for identifying constraint solver calls

The present disclosure relates to a computer-implemented method for electronic design verification. The method may include providing, using one or more processors, an electronic design having at least one floating point variable associated therewith. The method may further include converting the at least one floating point variable of the electronic design to a fixed point variable to generate a fixed point implementation of the electronic design. The method may also include processing, using a formal engine, the fixed point implementation of the electronic design.

Growing community of inventors

Boston, MA, United States of America

Prasanna Rao