Coverart for item
The Resource MTV 2016 : 2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016

MTV 2016 : 2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016

Label
MTV 2016 : 2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016
Title
MTV 2016
Title remainder
2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016
Title variation
  • 2016 17th International Workshop on Microprocessor and SOC Test and Verification
  • 17th International Workshop on Microprocessor and SOC Test and Verification
Creator
Contributor
Issuing body
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
COO
Illustrations
illustrations
Index
index present
LC call number
TK7895.M5
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2016
http://bibfra.me/vocab/lite/meetingName
International Workshop on Microprocessor and SOC Test and Verification
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • Institute of Electrical and Electronics Engineers
http://library.link/vocab/subjectName
  • Microprocessors
  • Systems on a chip
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
MTV 2016 : 2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016
Instantiates
Publication
Copyright
Note
"IEEE Computer Society Order Number E5836"--PDF copyright page
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE987012727
Dimensions
unknown
Extent
1 online resource (various pagings)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocn987012727
  • (OCoLC)987012727
Label
MTV 2016 : 2016 17th International Workshop on Microprocessor and SOC Test and Verification : proceedings : Austin, Texas, United States, 12-13 December 2016
Publication
Copyright
Note
"IEEE Computer Society Order Number E5836"--PDF copyright page
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE987012727
Dimensions
unknown
Extent
1 online resource (various pagings)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocn987012727
  • (OCoLC)987012727

Library Locations

Processing Feedback ...