BART: A Bridging Fault Test Generator for Sequential Circuits

1
??????????????????

• ???
• ???????????????
• ??, 03/12/27

2
???????????????

• The 18 NSF workshop (Dec. 2001) panelists agreed
  that current limitations and trends in evaluation
  techniques are troublesome and could noticeably
  slow the rate of computer systems innovation.

3
?????????

• As an example, a Pentium III with a cycle time of
  750 MHz. During a cycle the results of either the
  adder or multiplier can be completed
• 1 operation/1 cycle? 750MHz 750Mflop/s

4

13

• David H. Bailey, NERSC Chief Technologist,
  Lawrence Berkeley National Laboratory

5

• Linpack Bemchmarks
• ????????????????

6
64?128?8?2131072 processors 2.8GF?131072/2183500
.8?180TF/s
7
???????? ??????

• ??PC???????
• ?????
• ?????

8
???????????

• ????
• ?????????????????
• ??????????????????
• ???????????
• Church-Turing?????????????????
• ???????1000??????????????500. (Donald Knuth)
• Dijkstra ????????????How not to make a mess of
  it.
• ?????

9
???????????Jack J. Dongarray, Piotr Luszczeky,
and Antoine Petitetz

• the application
• the algorithm
• the size of the problem
• the high-level language
• the implementation
• the human level of effort used to optimize the
  program
• the compiler's ability to optimize
• the age of the compiler
• the operating system
• the architecture of the computer,
• the hardware characteristics.
• The results presented for benchmark suites should
  not be extolled as measures of total system
  performance .

10
????????

• Frederick P.Brooks, JR.
• Professor, University of North Carolina
• A.M. Turing Award, Association for Computing
  Machinery (1999)
• Member, National Academy of Engineering
• Three Great Challenges for Half-Century-Old
  Computer Science JACM, Jan. 03
• We have no theory that gives us a metric for the
  information embodied in structure, especially
  physical structure.
• We know that an automobile is a more complex
  structure than a rowboat.
• We cannot yet say it is x times more complex,
  where x is some number.

11
????(F.P.Brooks)

• ????????
• ???????????
• ????
• ???????????????,?????????????
• ????
• ?????????,?????

12
Benchmarks

• ?????????????,????????
• ???????????
• ??????????,?????????????????,??????????
• ????????????????
• ??????????????????????

13
???????

• ????????????,????????(Dijkstra, 1999)
• ?
• ????
• ????
• ????

14
????????

• Fernando J. Corbató
• MIT professor
• Fellow, IEEE and ACM
• ??????
• 1990 ???
• On Computer System ChallengesJACM, Jan.03
• ?????????,????
• ??????
• ???????,????????????,??????

15
CRA Conference

• 2002?6?,CRA(Computing Research Association)
  ???????????????????,9???,70????
• ?????
• ?????????????????????????????????????????????????
  
• ?????
• ???????????????????

16
??????

• ????????????,???????
• ????????
• ????????
• ?????????
• ?????????

17
?????????

• ?????????????????????????
• ?90????,?520??????????2?????4?????,2.0-3.5G?,?????
  ??
• ?????????????

18
??????

• ?????????????(E.W.Dijkstra)
• ???????,???????????
• ????????????????,?????????

19
????!