Coverart for item
The Resource 2015 16th International Workshop on Microprocessor and SOC Test and Verification : MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015

2015 16th International Workshop on Microprocessor and SOC Test and Verification : MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015

Label
2015 16th International Workshop on Microprocessor and SOC Test and Verification : MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015
Title
2015 16th International Workshop on Microprocessor and SOC Test and Verification
Title remainder
MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015
Title variation
  • MTV 2015
  • 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
  • 16th International Workshop on Microprocessor and SOC Test and Verification
  • Microprocessor and SOC Test and Verification (MTV), 2015 16th International Workshop on
Creator
Contributor
Publisher
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
COO
Illustrations
  • illustrations
  • maps
Index
index present
LC call number
TK7895.M5
LC item number
I583
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
International Workshop on Microprocessor Test and Verification
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
IEEE Computer Society
http://library.link/vocab/subjectName
  • Systems on a chip
  • Integrated circuits
  • Integrated circuits
  • Microprocessors
Summary expansion
Validation of microprocessors and SOCs Experiences on test and verification of high performance processors and SOCs Test verification of multimedia processors and SOCs Performance testing High level test generation for functional verification Emulation techniques Silicon debugging Low Power verification Formal techniques and their applications Verification coverage Test generation at the transistor level Equivalence checking of custom circuits at the transistor level ESL Methodology Virtual Platforms Software verification Circuit level verification Switch level circuit modeling Timing verification techniques Path analysis for verification or test Design error models Design error diagnosis Design for testability or verifiability SAT for testing and formal verification Security Verification
Label
2015 16th International Workshop on Microprocessor and SOC Test and Verification : MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015
Instantiates
Publication
Copyright
Note
"IEEE Computer Society Order Number E5815"--PDF copyright page
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
IEEE972618104
Dimensions
unknown
Extent
1 online resource (xi, 73 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocn972618104
  • (OCoLC)972618104
Label
2015 16th International Workshop on Microprocessor and SOC Test and Verification : MTV 2015 : proceedings : Austin, Texas, United States, 3-4 December 2015
Publication
Copyright
Note
"IEEE Computer Society Order Number E5815"--PDF copyright page
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
IEEE972618104
Dimensions
unknown
Extent
1 online resource (xi, 73 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocn972618104
  • (OCoLC)972618104

Library Locations

Processing Feedback ...