Coverart for item
The Resource IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings, sponsored by IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on Design Automation

IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings, sponsored by IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on Design Automation

Label
IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings
Title
IEEE International High-Level Design Validation and Test Workshop
Title remainder
8-10 November 2000, Berkeley, California : proceedings
Statement of responsibility
sponsored by IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on Design Automation
Title variation
  • HLDVT'00
  • HLDTV'00 proceedings
  • High-Level Design Validation and Test Workshop, 2000, proceedings, IEEE International
Creator
Contributor
Subject
Genre
Language
eng
Summary
Proceedings of a November 2000 workshop, with papers in sections on advances in high-level test, validation and test for microprocessor designs, hardware/software co-validation, formal verification techniques and applications, issues in high-level design validation, formal verification techniques, and advances in simulation-based verification. Specific topics include hardware/software co-debugging for reconfigurable computing, statistical behavior of branch coverage in testing behavioral VHDL models, system level testability analysis using Petri nets, and data flow based cache prediction using local simulation. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR
Member of
Cataloging source
OCL
Dewey number
621.39/16
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
I34 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
IEEE International High-Level Design Validation and Test Workshop
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • IEEE Computer Society
http://library.link/vocab/subjectName
  • Computer software
  • Electronic circuits
  • Electronic digital computers
Label
IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings, sponsored by IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on Design Automation
Instantiates
Publication
Note
"IEEE Computer Society order number: PR00786. IEEE order plan catalog number PR00786"--Title page verso
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE47884765
Dimensions
unknown
Extent
1 online resource (x, 179 pages)
Form of item
online
Isbn
9780769507866
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocm47884765\
  • (OCoLC)47884765
Label
IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings, sponsored by IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on Design Automation
Publication
Note
"IEEE Computer Society order number: PR00786. IEEE order plan catalog number PR00786"--Title page verso
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE47884765
Dimensions
unknown
Extent
1 online resource (x, 179 pages)
Form of item
online
Isbn
9780769507866
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocm47884765\
  • (OCoLC)47884765

Library Locations

Processing Feedback ...