- Integrated circuits
Entry Topical Term
001 - CONTROL NUMBER
- control field: 385
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200410143006.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 930722i| anannbab| |a ana |||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh 93005422
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)385
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: TR-AnTOB
150 #0 - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Integrated circuits
- General subdivision: Verification
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Hardware verification
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Integrated circuit verification
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Verification of hardware
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Verification of integrated circuits
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Entegre devreler
- Chronological subdivision: Doğrulama
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Donanım doğrulaması
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Entegre devre doğrulaması
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Donanım doğrulama
450 #0 - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Donanımın doğrulanması
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: 93-29419: Milne, G.J. Formal specification and verification of digital systems, c1994
- Information found: (Hardware verification; verification of integrated circuits)
670 ## - SOURCE DATA FOUND
- Source citation: Engr. index:
- Information found: under Integrated circuits--Testing and Integrated circuits--Design)
670 ## - SOURCE DATA FOUND
- Source citation: LC data base, 7/20/93
- Information found: (Hardware verification; VLSI verification)
670 ## - SOURCE DATA FOUND
- Source citation: Ralston Reilly encyc. computer sci.
- Information found: (Hardware verification involves demonstrating that an implementation of a system is "Consistent" with respect to its specification, where descriptions tend to be at different levels of abstraction ... it involves comparing two descriptions of a (hardware) design for consistency.)
675 ## - SOURCE DATA NOT FOUND
- Source citation: Web. 3
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: EbA 10.04.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh93005422
- Source of heading or term: lcsh
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: (TR-AnTOB)
- Source of heading or term: etuturkob
- Topical term or geographic name entry element: Entegre devreler
- General subdivision: Doğrulama
