Knowledge-Driven AI for SystemVerilog Assertions: A Verification Framework of Methodologies, Processes, and Coding Rules

by Ben Cohen, Dr Kais Chibani

268 pages, Hardcover

Published May 21, 2026

About the author

There is more than one Ben Cohen in the GR database. This is Ben^Cohen.

Bennett Cohen is an American businessman, activist, and philanthropist, and co-founder of the Ben & Jerry's ice cream company.