Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow

Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow

US Patent 9817930 · Granted Nov 14, 2017

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Encoding a video frame using different compression ratios for text blocks and no2025
Ultra light models and decision fusion for fast video coding2025
Using rate distortion cost as a loss function for deep learning2024
Receptive-field-conforming convolutional models for video coding2022
Efficient use of quantization parameters in machine-learning models for video co2022
Receptive-field-conforming convolution models for video coding2021
Receptive-field-conforming convolutional models for video coding2020
Adaptive model interface for a plurality of EDA programs2020
Systems and methods for automatic formal metastability fault analysis in an elec2020
Systems and methods for automatic formal metastability fault analysis in an elec2020
Efficient use of quantization parameters in machine-learning models for video co2020
System, method, and computer program product for handling combinational loops as2020