Libraries and tools/Hardware verification