Integrated circuits - Verification.

The e hardware verification language by: (Electronic resources)

Professional verificationa guide to advanced functional verification / by: (Electronic resources)

Verification by error modeling :using testing techniques in hardware verification by: (Electronic resources)

Functional verification coverage measurement and analysis by: (Electronic resources)

Test pattern generation using boolean proof engines by: (Electronic resources)

Models in hardware testinglecture notes of the forum in honor of Christian Landrault / by: (Electronic resources)

Formal hardware verificationmethods and systems in comparison / by: (Electronic resources)

Logic synthesis and verification algorithms by: (Electronic resources)

Writing testbenchesfunctional verification of HDL models / by: (Electronic resources)

Debugging at the electronic system level by: (Electronic resources)

The simple art of SoC designclosing the gap between RTL and ESL / by: (Electronic resources)

High-level verificationmethods and tools for verification of system-level designs / by: (Electronic resources)

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

Standardized functional verification by: (Electronic resources)

Trace-based post-silicon validation for VLSI circuits by: (Electronic resources)

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

Integrated circuit authenticationhardware trojans and counterfeit detection / by: (Electronic resources)

Counterfeit integrated circuitsdetection and avoidance / by: (Electronic resources)

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

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

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

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

Authentication of embedded devicestechnologies, protocols and emerging applications / by: (Electronic resources)

Advanced techniques for assertion-based verification in hardware designs using data mining algorithms by: (Electronic resources)