ALL BIBLIOGRAPHIES AND REFERENCE MATERIALS.

BIBLIOGRAPHIES

• Design for Test Group Bibliography Home. Products. Press. Papers. Techno.Corporate. What's. Bibliography. Mentor Graphics Design-for-Test Group members.
• Design for Test Group Bibliography From Mentor Graphics. Links to many interesting Mentor tools descriptions for test. BIST, ATPG, Fault Simulation.
• June 1996 Bibliographies Publications from SRC. Only names and numbers, test, manufacturing, fabrication. Other interesting links to SRC, which is one of top USA places related to test.

BOOKS, PUBLICATIONS AND LISTS.

• 1995 Bibliographic List of SRC PublicationsSRC Publications: 1995 Bibliographies. Information for each month is organized by SRC program area. For your convenience, the most recent months are...
• AskMe.com Security Index . LIST OF SECURITY PRODUCTS AND SERVICES. INDEXED. [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

  BOOKS ON TEST

• HP 8110A - List of published Literature8110A. List of published Literature. data sheet/Brochure Partnumber: 5964-6335 Application Brief "Digital Testing under Real-World Conditions" Partnumber:
• Computing IEE Books. Computing series. (Series Editors: Dr. B. Carré and Dr. D.A.H. Jacobs)
• 1996 Publications in Design SciencesSRC Publications: 1996 Publications in Design Sciences. C96001 Synthesis of Application-Specific Memory Designs (Journal Preprint); H. Schmit and D. E....
• NewsGroupArchives Sep92.
• September 1995 Bibliographies
• April 1996 Bibliographies
• Durability, Inc.- Book by Robert Witte about Electronic Test Instruments - Theory and Applications. Prentice Hall.
• ComputingIEE Books. Computing series. (Series Editors: Dr. B. Carré and Dr. D.A.H. Jacobs)

  BOOKS ON VERIFICATION

  • Theorem Provers in Circuit Design - Theory Practice and ExperienceComputer Science, Formal Logic, Hardware Verification. For research and development professionals.- Level: Proceedings. R. Kumar, Forschungszentrum...
  • Principles of Semiconductor Network Testing - Forward- Amir Afshar. Foreword | Preface | Table of Contents | To Order This Book | First Chapter, Part One

  ULTRASONIC TESTING ENCYCLOPEDIA

  • UT Encyclopedia Index Well organized and interesting, but not digital or analog test in general sense. Worth reading.

  SIGDA BULLETINS.

  • SIGDA Project Reports - Part 1 SIGDA Bulletin with info on CD-ROM projects and new journal. Interesting.

JOURNALS IN TEST, DESIGN FOR TEST, FAULT MODELS, VERIFICATION AND IN THESE ISSUES, AS RELATED TO DESIGN.

• Contents ED&TC '94
• IEEE D&T: Tables of Contents, Past Issues
• D&T 1995 Index
• D&T: Abstracts - 1995 Abstracts from this journal, 1995.

INDUSTRIAL LITERATURE

• Art of Programming Embedded SystemsDone][Image][Last][Next] Text (6 of 128) in Annabooks Bookstore. 11838 Bernardo Plaza Court San Diego, CA

MAGAZINES

• Test Labs/Services Buyers' GuideEE-EVALUATION ENGINEERING Magazine

  LITERATURE

• HP 8110A - List of published Literature8110A. List of published Literature. data sheet/Brochure Partnumber: 5964-6335 Application Brief "Digital Testing under Real-World Conditions" Partnumber:

  VERIFICATION BIBLIOGRAPHIES

• Bibliography on Hardware Verification and Formal MethodsBibliography on Hardware Verification and Formal Methods. This bibliography forms a part of the Computer Science Bibliography Collection.
• Bibliography on Hardware Verification and Formal MethodsBibliography on Hardware Verification and Formal Methods. This bibliography forms a part of the Computer Science Bibliography Collection.
• No TitleArticle: 2275 of comp.lang.vhdl Path: pitt.edu!birdie-blue.cis.pitt.edu!gatech!howland.reston.ans.net!pipex!uknet!nessie!nessie.mcc.ac.uk!sr From:...
• Abstracts of Selected PublicationsAbstracts of Selected Publications. A Modular Presentation of Modal Logics in a Logical Framework. David Basin, Sean Matthews and Luca Vigano. FILES:...
• No TitleTPTP Citations. The following is a summary of the papers which cite the TPTP Problem Library. The purpose of this index is to raise awareness about system.
• Laboratory for Applied Logic Reading ListLAL READING LIST. The following papers are suggested readings for new member of the Laboratory for Applied Logic. The readings will acquaint you with some.
• Laboratory for Applied LogicFORMAL METHODS AROUND THE WORLD. A number of other research laboratories in formal methods have made information available on the web. This page collects..
• Bibliographies on Software/Hardware Engineering and Formal MethodsThe Collection of Computer Science Bibliographies. Up: The Collection of Computer Science Bibliographies. Home. Bibliographies on Software/Hardware..
• ATG Reading ListAbstract Type Group Reading List. The List. HML: A Hardware Description Language Based on SML John O'Leary, Mark Linderman, Miriam Leeser, Mark Aagard...

  PHD THESIS ON VERIFICATION.

• No TitleRestricted Branching Programs and Hardware Verification PhD Thesis, Stephen Ponzio, MIT, August 1995. Table of Contents.