Arris Enterprises LLC

Jasper Design Automation, Inc.

Brajesh Arora

Vigyan Singhal

Yann Alain Antonioli

Ashoka Ramakrishnappa

Anurag Arora

Brian Waller

A system for processing video files includes receiving the video files, transcoding each of the video files, and making available each of the transcoded video files to a target platform. A predictive analysis process estimates the respective end times that each of the video files will be available for the target platform. Each of the respective end times are compared against a licensing window associated with the respective video file.

System for content delivery estimation

A method and apparatus for measuring the progress of a formal verification process using an analysis region, and measures the effectiveness of the current set of properties/requirements in verifying different portions of logic within the design. The present invention applies the concept of analysis region to analyze the properties/requirements for a design. The analysis region can be expanded or contracted either manually or automatically based upon the results of the analysis. The present invention generates a visual display that is available to the user that represents the amount of source code in the analysis region for a given property or multiple properties in comparison to the maximum possible analysis region. The present invention can display this information in a bar graph format, on a line-by-line basis for the source code and on a waveform display, for example.

System and method for measuring progress for formal verification of a design using analysis region

Growing community of inventors

Cupertino, CA, United States of America

Brajesh Arora