System Verilog assertions and functional coverage : guide to language, methodology and applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Mehta, Ashok B. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cham : Springer : [2020]
Vydání:Third edition
Témata:
LEADER 01619nam a22004337i 4500
001 MUB01006532488
003 CZ BrMU
005 20240116103412.0
008 231220t20202020sw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2024-01-15 
020 |a 978-3-030-24739-3 
040 |a BOD018  |b cze  |e rda 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.438Verilog  |2 MRF 
100 1 |a Mehta, Ashok B.  |7 mub20241213332  |4 aut 
245 1 0 |a System Verilog assertions and functional coverage :  |b guide to language, methodology and applications /  |c Ashok B. Mehta 
250 |a Third edition 
264 1 |a Cham :  |b Springer :  |c [2020] 
264 4 |c ©2020 
300 |a xxxix, 507 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
504 |a Obsahuje rejstřík 
650 0 7 |a programovací jazyky  |7 ph115890  |2 czenas 
650 0 9 |a programming languages  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
655 7 |a e-prezenčka  |2 CZ-BrMU 
CAT |a LUKAS  |b 02  |c 20231220  |l MUB01  |h 1332 
CAT |a VESELA  |b 02  |c 20240110  |l MUB01  |h 0951 
CAT |c 20240115  |l MUB01  |h 1145 
CAT |a VESELA  |b 02  |c 20240116  |l MUB01  |h 1034 
CAT |c 20240123  |l MUB01  |h 2000 
LOW |a POSLANO DO SKCR  |b 2024-01-15 
995 |a e-prezenčka 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 J519  |5 4200519835  |8 20231220  |f 74  |f Měsíční  |g 2023-30  |r 20240110 
AVA |a INF50  |b FI  |d J519  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |k 0