Practical guide for system verilog assertions / (Record no. 190229)

MARC details
000 -LEADER
fixed length control field 00719nam a2200217Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250131101651.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 210716s2009 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788184893397
040 ## - CATALOGING SOURCE
Transcribing agency AIMIT LIBRARY
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.66
Edition number 1
Item number VIJS
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Vijayaraghavan, Srikanth.
9 (RLIN) 47786
245 ## - TITLE STATEMENT
Title Practical guide for system verilog assertions /
Statement of responsibility, etc. By Srikanth Vijayaraghvan and Meyyappan Ramanathan.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi :
Name of publisher, distributor, etc. Springer ,
Date of publication, distribution, etc. 2009.
300 ## - PHYSICAL DESCRIPTION
Extent xxv,334p. ;
Other physical details PB
Dimensions 22.8 cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SVS simulation methodology
9 (RLIN) 47787
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SVA for protocol interface
9 (RLIN) 196528
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Checking the checker
9 (RLIN) 196529
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book
Edition 1st
Call number prefix 006.66 VIJS
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Source of acquisition Cost, normal purchase price Inventory number Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification     MCA St Aloysius Institute of Management & Information Technology St Aloysius Institute of Management & Information Technology 07/08/2022 Current Books 895.00 Bill no:27; Bill dt:2010-04-30   006.66 VIJS MCA09737 07/21/2025 644.40 07/16/2021 Book
    Dewey Decimal Classification     MCA St Aloysius Institute of Management & Information Technology St Aloysius Institute of Management & Information Technology 07/08/2022 Current Books 895.00 Bill no:27; Bill dt:2010-04-30   006.66 VIJS MCA09799 07/21/2025 644.40 07/16/2021 Book