Samsung Electronics Co., Ltd.

Synopsys, Inc.

Synopsis Incorporated

Sandeep Jana

Arunava Saha

Pratik Mahajan

Amit Kumar

Xiaolin C Chen

Lokesh Rayasandra Boregowda

Alfred Koelbl

Per Mattias Bjesse

Sankaranarayanan Parameswaran

Jinpyo Gwak

Santle Camilus

Ankit Dhiman

Basavaraja Shanthappa Vandrotti

Cheolhee Choi

Jinnan Huang

Batchu Sudheer Kumar

Anand Bhoraskar

Kshirsagar Sumit Anil

Narasimba Gopalakrishna Pai

In one aspect, a fault injection environment and a formal property verification environment are combined in a single integrated flow that allows the user to go back and forth between the two tasks. A system that unifies formal property verification and fault injection includes user interfaces that support the unified use model. In one approach, the FPV tool is the master and its user interface is the primary interface for the user to set up, run and debug faults as well as checkers. This interface allows the user to interactively select the FPV properties and/or the faults to be used for fault analysis. The user interface may provide a view of the faults, for example by listing faults or summarizing faults by class, type, etc.

Efficient mechanism for interactive fault analysis in formal verification environment

An apparatus and method are provided for handling 360 degree image content captured by a 360 degree camera. A method includes obtaining, by an electronic device, a sequence of 360 degree projection format image frames associated with the 360 degree image content and inertial measurement unit (IMU) rotation data associated with the 360 degree image content, computing, by the electronic device, a relative rotation of the 360 degree image content, and applying, by the electronic device, the relative rotation to at least one of the 360 degree projection format image frames to stabilize the 360 degree image content.

Method and system for handling 360 degree image content

A method of selecting capture configuration based on scene analysis and an image capturing device are provided. The method includes analyzing by a processor, a scene currently being captured by an image capturing device having a plurality of imaging sensors, identifying a current image capturing mode of the image capturing device, setting at least one capture parameter for the plurality of the imaging sensors, upon determining that the at least one capture parameter of the current image capturing mode has to be changed, and determining a timing sequence for triggering the plurality of imaging sensors to capture a plurality of image frames based on the set at least one capture parameter.

Method and apparatus for selecting capture configuration based on scene analysis

The fault analysis problem is modelled by automatically creating additional properties (fault properties) and constraints based on a plurality of injected faults and existing user assertions. These fault properties and constraints are sent to formal verification in a single run to qualify all of the faults together, rather than sequentially checking each fault in a separate formal verification run.

Efficient mechanism of fault qualification using formal verification

Growing community of inventors

Bengaluru, India

Sandeep Jana