home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lsi / testing / 184 < prev    next >
Encoding:
Text File  |  1992-08-20  |  3.6 KB  |  94 lines
  1. Newsgroups: comp.lsi.testing
  2. Path: sparky!uunet!mcsun!Germany.EU.net!news.netmbx.de!zrz.tu-berlin.de!math.fu-berlin.de!unidui!du9ds3!veit
  3. From: veit@du9ds3.uni-duisburg.de (Holger Veit)
  4. Subject: Re: Benchmark Circuits for Digital circuit test pattern generation
  5. References: <18341.2a92f106@levels.unisa.edu.au>
  6. Date: 21 Aug 92 09:35:25 GMT
  7. Reply-To: veit@du9ds3.uni-duisburg.de
  8. Organization: Uni-Duisburg FB9 Datenverarbeitung
  9. Sender: @unidui.uni-duisburg.de
  10. Message-ID: <veit.714389725@du9ds3>
  11. Lines: 81
  12.  
  13. In <18341.2a92f106@levels.unisa.edu.au> 8809787l@levels.unisa.edu.au writes:
  14.  
  15. >Dear reader
  16.  
  17. >In many papers in the field of fault diagnosis and Test generation for digital
  18. >circuits I have seen benchmark circuits used to make comparison between the
  19. >speed and effeciency of various test generation methods.
  20.  
  21. >I have commonly seen labels such as C880, C5315 or C7552 used to describe or
  22. >mension these benchmark circuits. In many papers on this topic also I have seen
  23. >the following reference to this circuits mensioned:
  24.  
  25. >(*) F. Brglez and H. Fujiwara, "A neutral netlist of ten combinational
  26. >benchmark circuits and a target translator in FORTRAN," in Proc. IEEE Int.
  27. >Symp. on Circuits and Systems, Kyoto, Japan, June 5-7, 1985
  28.  
  29. >One place that I found this reference mensioned was in :
  30.  
  31. >(*) Short Papers "Expremental Evaluation of Testability Measure for Test
  32. >Generation" by Chandra & Patel in IEEE trans. on Computer Aided Design Vol. 8,
  33. >No. 1 January 1989.
  34.  
  35. >I need to know the following:
  36.  
  37. >(1) What are these benchmark circuits ?
  38.  
  39. These are gate netlists of existing or synthesized circuits issued exactly 
  40. for the purpose to get comparable results for some developed simulation or
  41. testing software. If you want to know what their function is, 
  42. I can't help you much.
  43.  
  44. >(2) Where can I get these from ?
  45.  
  46. The original source of the ISCAS'85 benchmarks is the FTP server from
  47. mcnc.org. In Europe there is a copy at ftp.uni-duisburg.de (134.91.4.132)
  48. in /pub/cad/ISCAS85.tar.Z (this site is "here"). 
  49.  
  50. >(3) What is the Brglez & Fujiwara reference ( I could not locate it ) ?
  51.  
  52. This seems to be one of big mysteries in research on testing. The references
  53. give some page numbers that are outside the range of pages of the
  54. ISCAS proceedings. Seems to be an unofficial addendum, or researchers like
  55. referring much more than reading ;-) Anyway, the ISCAS85.tar.Z file 
  56. contains a TeX file which gives some information.
  57.  
  58. >(4) How can I use the above benchmark netlist to test a test generation method?
  59.  
  60. The package contains net lists as well as fault lists, so the base information
  61. is given. Unfortunately, there is no list, which of the faults are redundant.
  62.  
  63. >(5) Is there a updated version of this which has come out since 1989 ?
  64.  
  65. There is a "nonredundant" set of the same combinational circuits which is
  66. dated 1991. It is in the above package.
  67. The so-called ISCAS'89 benchmarks (names starting with "s" instead of "c")
  68. are sequential benchmark circuits for the same purpose.
  69.  
  70. >I would be very greatfull if some one could help me by responding to the
  71. >following e-mail address:
  72.  
  73. >        8809787L@LV.LEVELS.UNISA.EDU.AU
  74.  
  75. >Thank you very much, and hope to hear from you soon.
  76.  
  77. >Yours faithfully
  78. >Peyam Pourbeik
  79.  
  80.  
  81. >School of Electronic Engineering
  82. >University of South Australia ( Levels campus )
  83. >Adelaide, South Australia, Australia
  84.  
  85. Hope that helps
  86.  
  87. Holger
  88.  
  89. -- 
  90. |  |   / Holger Veit             | INTERNET: veit@du9ds3.uni-duisburg.de
  91. |__|  /  University of Duisburg  | BITNET: veit%du9ds3.uni-duisburg.de@UNIDO
  92. |  | /   Dept. of Electr. Eng.   | "No, my programs are not BUGGY, these are
  93. |  |/    Inst. f. Dataprocessing |          just unexpected FEATURES"
  94.