Integrated circuits - Verification.

The e hardware verification language by: (書目-電子資源)

Professional verificationa guide to advanced functional verification / by: (書目-電子資源)

Verification by error modeling :using testing techniques in hardware verification by: (書目-電子資源)

Functional verification coverage measurement and analysis by: (書目-電子資源)

Test pattern generation using boolean proof engines by: (書目-電子資源)

Models in hardware testinglecture notes of the forum in honor of Christian Landrault / by: (書目-電子資源)

Formal hardware verificationmethods and systems in comparison / by: (書目-電子資源)

Logic synthesis and verification algorithms by: (書目-電子資源)

Writing testbenchesfunctional verification of HDL models / by: (書目-電子資源)

Debugging at the electronic system level by: (書目-電子資源)

The simple art of SoC designclosing the gap between RTL and ESL / by: (書目-電子資源)

High-level verificationmethods and tools for verification of system-level designs / by: (書目-電子資源)

SystemVerilog for verificationa guide to learning the testbench language features / by: (書目-電子資源)

Standardized functional verification by: (書目-電子資源)

Trace-based post-silicon validation for VLSI circuits by: (書目-電子資源)

SystemVerilog assertions and functional coverageguide to language, methodology and applications / by: (書目-電子資源)

Integrated circuit authenticationhardware trojans and counterfeit detection / by: (書目-電子資源)

Counterfeit integrated circuitsdetection and avoidance / by: (書目-電子資源)

Computer-hardware evaluation of mathematical functions by: (書目-電子資源)

Formal system verificationstate-of the-art and future trends / by: (書目-電子資源)

SystemVerilog assertions and functional coverageguide to language, methodology and applications / by: (書目-電子資源)

System Verilog assertions and functional coverageguide to language, methodology and applications / by: (書目-電子資源)

Authentication of embedded devicestechnologies, protocols and emerging applications / by: (書目-電子資源)