LIBRARY Post-Silicon and Runtime Verification for Modern Processors 2011 · ENGLISH · PDF View details →
LIBRARY Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog 2002 · ENGLISH · PDF View details →
LIBRARY Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog 2002 · ENGLISH · PDF View details →
LIBRARY Verilog — 2001: A Guide to the New Features of the Verilog® Hardware Description Language 2002 · ENGLISH · PDF View details →
LIBRARY The Verilog PLI Handbook: A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface 1999 · ENGLISH · PDF View details →
LIBRARY Formal Semantics and Proof Techniques for Optimizing VHDL Models 1999 · ENGLISH · PDF View details →
LIBRARY VHDL and FPLDs in Digital Systems Design, Prototyping and Customization 1998 · ENGLISH · PDF View details →
LIBRARY Post-Silicon and Runtime Verification for Modern Processors 2011 · ENGLISH · PDF View details →