इसका टेक्स्ट मैसेज भेजे: Hardware verification with C++ [compact disc] : a practitoner's handbook /