SVA: The Power of
Assertions in System Verilog

Mã QR

SVA: The Power of Assertions in System Verilog

This book is the result of the deep involvement of the authors in the development of EDA tools, SystemVerilog Assertion standardization, and many years of practical experience. One of the goals of this book is to expose the oral knowhow circulated among design and verification engineers which has...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Cerny, Eduard, Dudani, Surrendra, Havlicek, John, Korchemny, Dmitry
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Power System
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56811
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

System Verilog Assertions and Functional Coverage
Bỡi: Mehta, Ashok B.
Được phát hành: (2020)

A Practical Guide for SystemVerilog Assertions
Bỡi: Vijayaraghavan, Srikanth, et al.
Được phát hành: (2020)

Verilog and SystemVerilog Gotchas
Bỡi: Sutherland, Stuart, et al.
Được phát hành: (2020)

Uninterruptible power supplies and standby power systems /
Bỡi: King Alexander
Được phát hành: (2003)

Power systems analysis
Bỡi: Murty, P. S. R
Được phát hành: (2017)

Power systems analysis illustrated with MATLAB and ETAP
Bỡi: Shertukde, Hemchandra Madhusudan
Được phát hành: (2018)

Understanding electric power systems :
Bỡi: Casazza, Jack
Được phát hành: (2003)

Electrial power systems quality
Được phát hành: (2003)

Practical power systems protection
Bỡi: Hewitson, L.G.
Được phát hành: (2005)

Electrical power system essentials
Bỡi: Schavemaker, Pieter
Được phát hành: (2017)

Feasible power exchange between Russia and rok power systems /

SystemVerilog for Verification
Bỡi: Spear, Chris
Được phát hành: (2020)

Korean power system security analysis using benchmark systems /
Bỡi: Jang, Gilsoo.

Applied mathematics for restructured electric power systems :
Bỡi: Chow, Joe H.
Được phát hành: (2005)

Hardware Verification with System Verilog
Bỡi: Mintz, Mike, et al.
Được phát hành: (2020)

Reactive Power Control in AC Power Systems
Bỡi: Tabatabaei, Naser Mahdavi
Được phát hành: (2017)

Power system load flow analysis
Bỡi: Powell, Lynn
Được phát hành: (2004)

Power system load flow analysis
Bỡi: Powell, Lynn
Được phát hành: (2005)

Wind power in power systems
Bỡi: Ackermann, Thomas
Được phát hành: (2005)

Modern power system analysis
Bỡi: Kothari, D P.
Được phát hành: (2008)

Assertion-Based Design
Bỡi: Foster, Harry D., et al.
Được phát hành: (2020)

Performance of protection systems during catastrophic failures in power systems /
Bỡi: Phadke, Arun G.

Digital VLSI Design with Verilog
Bỡi: Williams, John
Được phát hành: (2020)

Electric power quality
Bỡi: Chattopadhyay, Surajit
Được phát hành: (2011)

Handbook of power system engineering
Bỡi: Hase, Yoshihide
Được phát hành: (2007)

Generating Hardware Assertion Checkers
Bỡi: Boulé, Marc, et al.
Được phát hành: (2020)

Static Compensators (STATCOMs) in Power Systems
Bỡi: Shahnia, Farhad, et al.
Được phát hành: (2016)

Creating Assertion-Based IP
Bỡi: Foster, Harry D., et al.
Được phát hành: (2020)

Reactive Power Control in AC Power Systems
Bỡi: Tabatabaei, Naser Mahdavi, et al.
Được phát hành: (2020)

Power system stability and control
Bỡi: Kundur, P.
Được phát hành: (2014)

Power system stability
Bỡi: Crary, Selden B.
Được phát hành: (1945)

Power system stability :
Bỡi: Kimbark, Edward Wilson
Được phát hành: (1956)

Power system stability
Bỡi: Crary, Selden B.
Được phát hành: (1962)

Electrical power and controls
Bỡi: Skvarenina, Timothy L.
Được phát hành: (2004)

The study of optimizing power system performation by using optimal FACTS devices : Doctor of philosophy - Major: Electrical engineering
Bỡi: Duong, Thanh Long
Được phát hành: (2014)

Modern Power Systems Analysis
Bỡi: Wang, Xi-Fan, et al.
Được phát hành: (2020)

Design of SPS in the Korean power system against faults on 765 KV lines /
Bỡi: Park, Jong-Young.

Measurement and analysis of overvoltages in power systems
Bỡi: Li, Jianming
Được phát hành: (2018)

Networks of Power :
Bỡi: Hughes, Thomas P.
Được phát hành: (1983)

On power system frequency control in emergency conditions /