جزییات کتاب
Intended for hardware design engineers, this book introduces general verification techniques, compares them with formal verification techniques, and provides instructions for creating formal high level requirement. The authors discuss formal verification concepts for both applied Boolean and sequential verification, formal property checking, the process of creating a formal test plan, and state reduction techniques. The appendices list commonly used PSL statements for high level requirements and similar requirements specified in System Verilog syntax.
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/ab/Douglas_%282016%29_-_FCB.jpg/28px-Douglas_%282016%29_-_FCB.jpg)
داگلاس پریرا دوسانتوس (انگلیسی: Douglas Pereira dos Santos؛ زادهٔ ۶ اوت ۱۹۹۰(1990-08-06)) که عموماً به اختصار داگلاس نامیده میشود؛ بازیکن فوتبال اهل برزیل است که در پست دفاع راست برای بنفیکا توپ میزند.