home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lsi / testing / 199 < prev    next >
Encoding:
Text File  |  1992-08-29  |  4.2 KB  |  84 lines

  1. Newsgroups: comp.lsi.testing
  2. Path: sparky!uunet!cs.utexas.edu!milano!sirius.mcc.com!praveen
  3. From: praveen@sirius.mcc.com (Praveen Vishakantaiah)
  4. Subject: Rise and shine
  5. Message-ID: <1992Aug28.143621.1917@mcc.com>
  6. Sender: news@mcc.com
  7. Nntp-Posting-Host: sirius.mcc.com
  8. Organization: Microelectronics and Computer Technology Corp.
  9. Date: Fri, 28 Aug 1992 14:36:21 GMT
  10. Lines: 72
  11.  
  12. It is very interesting to delve into the reasons why this group is having
  13. problems getting any postings. Here are my two cents worth to motivate
  14. test engineers to generate useful and relevant discussions even in the
  15. midst of unencouraging number of postings in this group.
  16.  
  17. Holger> I cannot imagine that everyone is interested in design
  18. Holger> (comp.lang.vhdl, comp.lang.verilog, comp.sys.mentor, comp.lsi*),
  19. Holger> but nobody in testing of all the stuff produced. 
  20.  
  21. Well, isn't testing harder than designing ;-). Nobody has proved VLSI 
  22. design to be an NP-complete problem (as far as I know)!
  23.  
  24. Also, if you look at the topics that are discussed in the design groups,
  25. most of them are centered around the usage/bugs of a commercial design
  26. tool or how to obtain free software. There are not as many commercial test
  27. tools or free test software that is as widely used as design software in
  28. order to generate postings in this category.
  29.  
  30. Allingham> Hopefully, someday all designers will realize that test needs 
  31. Allingham> to be considered up front.
  32.  
  33. This is a very interesting point, but test engineers or project managers
  34. cannot just hope for this to happen:-). I don't think the designers can be
  35. forced to learn the test strategies from somewhere and expect them to 
  36. start putting lot of man hours into incorporating test ideas as they
  37. design. The test tools and research should be directed towards automating
  38. the interaction between design and test and I feel that this is happening 
  39. now. Test research and tools should not just aim at producing 100% fault 
  40. coverage for a particular category of faults.
  41.  
  42. Harlow> Come on, Janak: you have lots of good things going on at UIUC: how
  43. Harlow> about some timely, controversial postings from you and/or your
  44. Harlow> group?
  45.  
  46. Although this is a very good and useful suggestion, it is very unlikely 
  47. that researchers are ready to discuss their ideas openly due to competitive 
  48. reasons. But, we can always discuss published work as well as get feedback
  49. from people in the industry as to the research direction in testing which
  50. would be useful to them.
  51.  
  52. Harlow> Suppose we had a manufacturing line whose yield was 100%...  
  53. Harlow> would we then not need to test products? .........
  54. Harlow> .................
  55. Harlow> More generally speaking, how much of what we call testing is
  56. Harlow> actually a cover for lack of design verification?
  57.  
  58. The way I would look at this question before answering it, is -
  59. To prove that the yield was 100%, would I use design verification or 
  60. testing? I would use testing since formal verification of designs does 
  61. not handle manufacturing defects in the strict sense. But again, you can 
  62. use information generated during formal verification to potentially obtain
  63. test vectors. I would say, formal verification and testing are two sides
  64. of the same coin. The value is the same, but they look different depending
  65. on which side you want to look at!
  66.  
  67. Rise and shine, all you testing folks. Spend some time posting useful
  68. discussions pertaining to VLSI testing. Don't work too hard on the testing
  69. problem [I hope my advisor does not see this:-)]. After all, the testing
  70. problem was NP-complete, is NP-complete and will be NP-complete!! 
  71.  
  72. Praveen Vishakantaiah.
  73.  
  74. ------------------------------------------------------------------------------
  75. -- Microelectronics and Computer Technology Corporation, | Ph : (512)338-3736|
  76. -- 3500 W. Balcones Center Drive                         | e-mail :          |
  77. -- Austin, TX 78759.                                     | praveen@mcc.com   |
  78. ------------------------------------------------------------------------------
  79. -- ALSO A HARD WORKING MEMBER OF :-)
  80. -- Computer Engineering Research Center,                 | Ph : (512)471-8013|
  81. -- University of Texas, Austin.             e-mail : praveen@cerc.utexas.edu | 
  82. -----------------------------------------------------------------------------
  83.  
  84.