<--- Back to Details
First PageDocument Content
Electronic design automation / Systems engineering / Logic in computer science / Hardware verification languages / Verification / Functional verification / Formal verification / E / Logic simulation / Electronic engineering / Digital electronics / Formal methods
Electronic design automation
Systems engineering
Logic in computer science
Hardware verification languages
Verification
Functional verification
Formal verification
E
Logic simulation
Electronic engineering
Digital electronics
Formal methods

Datasheet Certitude Functional Qualification System Overview

Add to Reading List

Source URL: www.synopsys.com

Download Document from Source Website

File Size: 329,05 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Array programming languages / High-level programming languages / Parallel computing / Compiler optimizations / Fortran / Functional programming / MATLAB / Argonne National Laboratory / NP

FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

DocID: 1xUHu - View Document

2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC

DocID: 1vl2i - View Document

Temporal Verification of Higher-Order Functional Programs Akihiro Murase ∗ Tachio Terauchi Naoki Kobayashi

DocID: 1uVQK - View Document

Exploration of Novel Nitride Semiconductors by In Silico Screening and Experimental Verification Fumiyasu Oba and Hidenori Hiramatsu: IIR and MCES, Tokyo Tech The exploration of novel functional materials is increasingly

DocID: 1urGN - View Document

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

DocID: 1tMUk - View Document