Trulli

Wazir Agha library

Online Public Access Catalogue

Principles of verifiable RTL design : (Record no. 58133)

000 -LEADER
fixed length control field 01546cam a22003494a 4500
001 - CONTROL NUMBER
control field 12370142
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20161124132537.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 010405s2001 maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2001029619
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0792373685 (alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7874.75
Item number .B47 2001
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Edition number 21
Item number BEP
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bening, Lionel,
Dates associated with a name 1939-
245 10 - TITLE STATEMENT
Title Principles of verifiable RTL design :
Remainder of title a functional coding style supporting verification processes in Verilog /
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston :
Name of publisher, distributor, etc Kluwer Academic Publishers,
Date of publication, distribution, etc c2001.
300 ## - PHYSICAL DESCRIPTION
Extent xxiii, 281 p. :
Other physical details ill. ;
Dimensions 26 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [247]-254) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Very large scale integration
Source of heading or term Computer-aided design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Verilog (Computer hardware description language).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic digital computers
General subdivision Computer-aided design.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Foster, Harry,
Dates associated with a name 1956-
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0820/2001029619-d.html
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0820/2001029619-t.html
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
          University of Sargodha-Central Library University of Sargodha-Central Library 11/24/2016 621.395 BEP 96183 11/24/2016 11/24/2016 Books
©Automation Section, Wazir Agha Library, UOS,2021.All right reserved
Customized and Maintained by Ghulam Mustafa