Integrated circuits - Verification.

Verification by error modeling = using testing techniques in hardware verification / by: (Language materials, printed)

Assertion-based design by: (Language materials, printed)

Writing testbenches = functional verification of HDL models / by: (Language materials, printed)

Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by: (Language materials, printed)

Creating Assertion-Based IP by: (Language materials, printed)

Systemverilog for verification = a guide to learning the testbench language features / by: (Language materials, printed)

Functional design errors in digital circuits = diagnosis, correction and repair / by: (Language materials, printed)

Advanced verification techniques = a SystemC based approach for successful tapeout / by: (Language materials, printed)

The e hardware verification language by: (Language materials, printed)

Verification by error modeling : = using testing techniques in hardware verification by: (Language materials, printed)

Functional verification coverage measurement and analysis by: (Language materials, printed)

Test pattern generation using boolean proof engines by: (Language materials, printed)

Models in hardware testing = lecture notes of the forum in honor of Christian Landrault / by: (Language materials, printed)

Writing testbenches = functional verification of HDL models / by: (Language materials, printed)

Debugging at the electronic system level by: (Language materials, printed)

SystemVerilog for verification = a guide to learning the testbench language features / by: (Electronic resources)

SystemVerilog assertions and functional coverage = guide to language, methodology and applications / by: (Electronic resources)

Counterfeit integrated circuits = detection and avoidance / by: (Electronic resources)

Computer-hardware evaluation of mathematical functions by: (Electronic resources)

Formal system verification = state-of the-art and future trends / by: (Electronic resources)

System Verilog assertions and functional coverage = guide to language, methodology and applications / by: (Electronic resources)

Authentication of embedded devices = technologies, protocols and emerging applications / by: (Electronic resources)

Assertion-Based Design by: (Language materials, printed)

Logic synthesis and verification algorithms by: (Language materials, printed)

Comprehensive functional verification the complete industry cycle by: (Language materials, printed)

Taxonomies for the Development and Verification of Digital Systems by: (Language materials, printed)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (Language materials, printed)