`United States Patent
`5,960,191
`[11] Patent Number:
`Sample et al. Sep. 28, 1999 [45] Date of Patent:
`
`
`
`
`
`US005960191A
`
`[54]
`
`[75]
`
`EMULATION SYSTEM WITH TIME-
`MULTIPLEXED INTERCONNECT
`
`4,578,761
`4,583,169
`
`3/1986 Gray ........................................ 364/481
`4/1986 Cooledge ................................ 364/300
`
`Inventors: Stephen P. Sample, Saratoga; Mikhail
`Bershteyn, Campbell, both of Calif;
`Michael R. Butts, Portland, Oreg.;
`Jerry R. Bauer, Cupertino, Calif.
`
`Assignee: Quickturn Design Systems, Inc., San
`Jose, Calif.
`
`Appl. No.: 08/865,741
`
`Filed:
`
`May 30, 1997
`
`Int. Cl.6 ...................................................... G06F 9/455
`US. Cl.
`................................. 395/500.49; 395/500.44
`Field of Search ............................. 364/578; 395/500,
`395/376; 326/41
`
`References Cited
`
`U.S. PATENT DOCUMENTS
`
`(List continued on next page.)
`FOREIGN PATENT DOCUMENTS
`
`........ G06F 15/60
`9/1986 European Pat. Off
`0217291
`.......... G06F 1/04
`0453171A2 10/1991
`European Pat. Off
`58—147236
`9/1983
`Japan ........................... H03K 19/177
`58—147237
`9/1983
`Japan ........................... H03K 19/177
`58—205870
`11/1983
`Japan .
`59—161839
`9/1984
`Japan .
`01154251
`6/1989
`Japan .
`1444084
`7/1976 United Kingdom .
`2182220
`9/1986 United Kingdom .
`2180382
`3/1987 United Kingdom .
`WO 96/13902
`5/1996 WIPO .
`
`OTHER PUBLICATIONS
`
`Balakrishnan Krishnamurthy, “An Improved Min—Cut Algo-
`rithm for Partitioning VLSI Networks,” May 1984, pp.
`438—446, IEEE Transactions on Computers, vol. c—33, No.
`5.
`
`(List continued on next page.)
`
`Primary Examiner—Kevin J. Teska
`Assistant Examiner—Samuel Broda
`
`Attorney, Agent, or Firm—Lyon & Lyon LLP
`
`[57]
`
`ABSTRACT
`
`A hardware emulation system is disclosed which reduces
`hardware cost by time-multiplexing multiple design signals
`onto physical logic chip pins and printed circuit board. The
`reconfigurable logic system of the present invention com-
`prises a plurality of reprogrammable logic devices, and a
`plurality of reprogrammable interconnect devices. The logic
`devices and interconnect devices are interconnected together
`such that multiple design signals share common I/O pins and
`circuit board traces. A logic analyzer for a hardware emu-
`lation system is also disclosed. The logic circuits necessary
`for executing logic analyzer functions is programmed into
`the programmable resources in the logic chips of the emu-
`lation system.
`
`25 Claims, 30 Drawing Sheets
`
`/12
`
`MUX CHIP
`CROSSBAR
`C
`
`G
`
`D
`
`G
`
`22
`
`C
`
`D
`
`
`
`
`
`<25
`
`K24
`
`k24
`
`
`
`3,106,698 10/1963 Unger ................................... 340/172.5
`3,287,702
`11/1966 Borck, Jr. et a1.
`340/1725
`
`11/1966 Slotnick ............................... 340/1725
`3,287,703
`3,473,160 10/1969 Wahlstrom ........................... 340/1725
`3,810,577
`5/1974 Drescher et a1.
`.
`235/153
`3,928,730 12/1975 Agaard et a1.
`379/275
`3,955,180
`5/1976 Hirtle ............
`. 340/1725
`4,020,469
`4/1977 Manning ................................... 326/40
`4,032,899
`6/1977 Jenny et a1.
`............................ 364/200
`4,306,286
`12/1981 Cocke et a1.
`..
`... 395/500
`4,315,315
`2/1982 Kossiakoff
`.... 395/140
`4,357,678
`11/1982 Davis ............
`364/DIG. 2
`4,386,403
`5/1983 Hsieh et a1.
`..
`....... 364/491
`4,404,635
`9/1983 Flaker
`...........
`364/580
`4,459,694
`7/1984 Ueno et a1.
`.. 365/201
`4,488,354 12/1984 Chan et al. ............ 29/830
`4,503,386
`3/1985 DasGupta et a1.
`.. 371/223
`..
`4,510,602
`4/1985 Engdahl et al.
`.. 371/222
`4,524,240
`6/1985 Stock et al.
`.......
`.. 174/685
`4,525,789
`7/1985 Kemper et a1.
`364/550
`4,527,115
`7/1985 Mehrotra et a1.
`.. 371/222
`4,527,249
`7/1985 Van Brunt .....
`364/578
`4,539,564
`9/1985 Smithson ..
`.. 340/825.79
`4,541,071
`9/1985 Ohmori
`.........
`395/775
`4,577,276
`3/1986 Dunlop et a1.
`.......................... 364/491
`
`
`
`
`.
`
`12
`
`
`
`AB
`
`
`
` ECROSSB/imE
`DEMUX‘BIE‘DEMUXF)“ I MUX
`MUX
`0EMUXHOEMUX|
`
`
`
`
`
`36
`\
`34 35
`[34
`
`MU); “1)wa
`| MUX
`IDEMUX
`MUX ||OEMU><t
`
`A
`B
`C
`0
`E
`F
`0
`0
`0
`X
`E
`+
`:
`LOGIC CHIP
`LOGIC CHIP
`LOGIC CHIP
`GLOGIC CHIP
`
`1o)
`107
`10/
`1o]
`
`SYNOPSYS 1010
`
`1
`
`SYNOPSYS 1010
`
`
`
`5,960,191
`
`Page 2
`
`US. PATENT DOCUMENTS
`_
`.
`493877625
`5/1986 Marmoa JL 9 a1~ ~~~~~~~~~~~~~~~~~~~~ 364/578
`4,593,363
`6/1986 Burstein et al.
`........................ 364/491
`
`476007846
`7/1986 Burrows ~~~~~
`326/39
`
`4,612,618
`9/1986 Pryor 6t al~ -
`- 364/490
`
`476137940
`9/1986 Shenton 6t al~
`- 364/490
`4,621,339
`~~~~~~~~~~~~~~~~~~~~~~~~~ 364/490
`11/1986 Wagner 6t al~
`4,642,487
`2/1987 Carter ........................................ 326/41
`4,656,580
`. 395/500
`4/1987 Hitchcock, Sr. et al.
`
`4,656,592
`4/1987 Spaanenburg 6t al~ ~~
`----- 364/490
`
`476747089
`~- 364/242-1
`6/1987 Poret 6t al~
`~~~~~~~
`476757832
`~~~~~~~~~~~~~~~~~~~~~~ 395/141
`6/1987 Robinson et al~
`4,695,740
`9/1987 Carter ........................................ 326/86
`
`4,695,950
`. 364/200
`9/1987 Brandt et al.
`4,695,968
`9/1987 Sullivan, 11 et al.
`................... 364/578
`4,695,999
`9/1987 Lebizay .................................. 379/581
`
`4,697,241
`9/1987 LaVi .......... 364/488
`4,700,187 10/1987 Furtek ................................ 340/82583
`4,706,216
`11/1987 Carter ........................................ 365/94
`
`1/1988 Morton ..................................... 371/91
`2/1988 Schreiner et al.
`................. 340/825.83
`
`2/1988 Doshi et al.
`..... 364/578
`.............................. 364/578
`4/1988 Saxe et al.
`4/1988 Elmer ...................................... 365/104
`
`5/1988 Beck et al.
` . 364/578
`5/1988 Funatsu ..................................... 371/23
`6/1988 Kuwahara ............................... 364/491
`
`7/1988 E1 Gamal et a1
`326/16
`7/1988 Carter ...................................... 364/716
`8/1988 Turner et al.
`........................... 365/201
`
`8/1988 Turner et al.
`365/185.11
`313:: 2:131:1{21’1............................... 7;:17/33
`
`10/1988 Foumier .....
`.. 364/491
`11/1988 Nomizu et al.
`......................... 364/578
`11/1988 Mick et al.
`............................. 364/900
`11/1988 Graham et al.
`. 364/488
`
`4,722,084
`4,725,835
`4,725,971
`4,736,338
`4,740,919
`4,744,084
`4,747,102
`4,752,887
`4,758,745
`4,758,985
`4,761,768
`4,766,569
`:,;g§,é139g
`4,777,606
`4,782,440
`4,782,461
`4,786,904
`
`
`
`364/900
`11/1988
`4,787,062
`.. 364/716
`4,791,602 12/1988
`.................... 364/491
`4,803,636
`2/1989 Nishiyama et al.
`4,811,214
`3/1989 Nosenchuck et al.
`.................. 395/500
`. 364/491
`4,815,003
`3/1989 Patatunda et al.
`
`........................ 364/200
`4,819,150
`4/1989 Jennings et al.
`4,823,276
`4/1989 Hiwatashi
`............................... 364/491
`.. 364/489
`4,827,427
`5/1989 Hyduke
`
`5/1989 Austin ..................................... 307/465
`4,829,202
`4,835,705
`5/1989 Fujino et al.
`........................... 364/491
`.. 364/490
`4,845,633
`7/1989 Furtek ...............
`
`7/1989 Aipperspach et al.
`.................. 364/489
`4,849,904
`4,849,928
`7/1989 Hauck ..................................... 395/500
`
`4,854,039
`8/1989 Wendt
`.....
`29/832
`
`. 371/22.3
`4,855,669
`8/1989 Mahoney
`8/1989 Rudy ............... 395/500
`4,862,347
`
`9/1989 Hoberman et al.
`340/825.84
`4,864,165
`
`9/1989 Austin ............. 307/440
`4,868,419
`
`9/1989 Freeman .....
`4,870,302
`340/825.83
`10/1989 El Gamal et al
`4,873,459
`340/825.84
`
`10/1989 Kondou et al.
`..... 364/716
`4,876,466
`
`4,879,646
`11/1989 Iwasaki et al.
`. 364/200
`
`11/1989 Shinsha et al.
`4,882,690
`. 364/490
`
`.. 364/488
`4,901,259
`2/1990 Watkins
`.....
`
`4,901,260
`2/1990 Lubachevsky .
`.. 364/578
`4,908,772
`3/1990 Chi .............
`.. 364/491
`4,914,612
`4/1990 Beece et al.
`..... 364/578
`
`4,918,440
`4/1990 Furtek .....
`340/825.83
`4/1990 Onizuka .......... 364/578
`4,918,594
`
`5/1990 Kobayashi et al.
`4,922,432
`. 364/490
`
`4,924,429
`5/1990 Kurashita et al.
`. 364/578
`....................... 364/490
`4,931,946
`6/1990 RaVindra et al.
`
`570817602
`5,083,083
`5,084,824
`5,093,920
`5,109,353
`5,114,353
`5,126,966
`5,128,871
`5,140,526
`5,172,011
`5,224,055
`5,224,056
`5,231,588
`gfligéggg
`’
`’
`5’253’363
`5,259,006
`
`4,935,734
`6/1990 Austin ................................ 340/825.83
`4,937,827
`6/1990 Beck et al.
`................................ 371/23
`4,942,536
`7/1990 Watanabe et al.
`...................... 364/490
`
`4,942,615
`7/1990 Hirose ..........
`. 364/578
`4,945,503
`................................. 364/578
`7/1990 Takasaki
`4,949,275
`8/1990 Nonaka ................................... 364/490
`4,951,220
`8/1990 Ramacher et al.
`...................... 364/488
`4,958,324
`9/1990 DeVin ...................................... 365/201
`4,965,739
`10/1990 Ng .........
`364/491
`
`4972334 11/1990 Yamabe et a1.
`. 364/260.9
`11/1990 Ueno ...............
`4,972,372
`365/201
`
`......................... 364/489
`5,003,487
`3/1991 Drumm et al.
`5,023,775
`6/1991 Poret
`....................................... 395/800
`5,031,129
`7/1991 Powell et al.
`364/717
`
`..
`5,036,473
`7/1991 Butts et a1.
`364/488
`8/1991 Tanishita ......
`. 364/489
`5,041,986
`
`5 046 017
`9/1991 Yu am a al
`364/491
`‘ """""""""""""
`’
`’
`y
`9/1991 Hyduke """""""""""""""""" 395500
`570519938
`
`~ 364578
`590537980
`“”1991 Kanazawa
`
`
`“”92 910V“ ~~~~~~~~~~~~
`- 364/578
`......................... 371/222
`1/1992 El—Ayat et al.
`1/1992 Lam et al.
`.............................. 364/490
`3/1992 Agrawal et al.
`........................ 395/800
`4/1992 Sample et al.
`.......................... 364/580
`
`5/1992 Sample ............
`439/65
`....................... 364/490
`6/1992 Hafeman et al.
`7/1992 Schmitz .................................. 364/490
`8/1992 McDermith et al.
`................... 364/488
`12/1992 Leuthold et a1.
`.................... 307/2722
`..
`6/1993 Grundy et a1.
`364/488
`
`.
`6/1993 Chene et a1.
`364/490
`
`7/1993 Agrawal et al.
`364/489
`3133: 232132111361"""""""""""""" 324/489)
`' """"""""""""
`“”1993 HYma“ “““““
`340/825‘83
`
`11/1993 Price et al.
`375/107
`
`5,321,828
`.......................... 395/500
`6/1994 PhllllpS et al.
`5,329,470
`7/1994 Sample .................................... 364/578
`5,329,471
`7/1994 Swoboda et al.
`....................... 364/578
`5,331,571
`7/1994 AIOHOff et al.
`......................... 364/490
`5,339,262
`8/1994 Rostoker et al.
`364/578
`
`5,345,580
`.......................... 395/500
`9/1994 Tamaru et al.
`5,352,123
`10/1994 Sample et al.
`............................ 439/61
`
`5,377,123
`12/1994 Hyman ............
`. 364/489
`5,386,550
`....................... 364/578
`1/1995 Yumioka et a1.
`5,396,498
`3/1995 Lestrat et al.
`............................... 371/3
`5,425,036
`.. 371/23
`6/1995 Lui et a1.
`.
`
`5,437,037
`.................................. 395/700
`7/1995 Furuichi
`5,448,496
`9/1995 Butts et al.
`............................. 364/489
`5,448,522
`9/1995 Huang ......
`365/189.04
`
`5,452,231
`9/1995 Butts et al.
`. 364/488
`
`5,452,239
`9/1995 Dai et al.
`.
`364/578
`
`5,475,624 12/1995 West ......
`. 364/578
`
`. 395/500
`5,475,830 12/1995 Chen .
`
`
`12/1995 Sample et a .
`..
`5,477,475
`364/578
`
`.. 326/41
`1/1996 Costello et al.
`5,483,178
`5,530,958
`6/1996 Agarwal et al.
`395/403
`
`8/1996 Mohsen ...........
`. 364/489
`5,544,069
`8/1996 Beausoleil et a1
`5,551,013
`395/500
`
`365/189.04
`5,563,829
`10/1996 Huang ......
`
`11/1996 Asano et al.
`.
`395/500
`5,572,710
`11/1996 Barbier et a1.
`..
`.. 326/41
`5,574,388
`
`1/1997 Agarwal et al.
`395/500
`5,596,742
`
`.....
`364/489
`5,612,891
`3/1997 Butts et al.
`
`7/1997 SelVidge et al.
`395/551
`5,649,176
`5,659,716
`8/1997 SelVidge et al.
`395/500
`
`..
`395/183.09
`5,841,967
`11/1998 Sample et al.
`............................ 326/39
`5,847,578 12/1998 Noakes et al.
`
`2
`
`SYNOPSYS 1010
`
`2
`
`SYNOPSYS 1010
`
`
`
`5,960,191
`Page 3
`
`OTHER PUBLICATIONS
`
`Andrew B. Kahng, “Fast Hypergraph Partition,” pp.
`662—666, 26th ACM/IEEE Design Automation Conference.
`Mark R. Hartoog, “Analysis of Placement Procedures for
`VLSI Standard Cell Layout,” pp. 314—319, 23rd Design
`Automation Conference.
`
`Jorn Garbers, et al., “Finding Clusters in VLSI Circuits,”
`1990 IEEE, pp. 520—523.
`Yen—Chuen Wei, et al. “Towards Efficient Hierarchial
`Designs by Ratio Cut Partitioning,” 1989 IEEE.
`Yen—Chuen Wei, et al., “Ratio Cut Partitioning for Hierar-
`chial Designs,” pp. 1—24.
`Wolfgang Rosenstiel, “Optimizations in High Level Synthe-
`sis,” 1986, pp. 347—352, Microprocessing and Micropro-
`gramming.
`Malik, Sharad, et al., “Combining Multi—Level Decompo-
`sition and Topological Partitioning for PLAS,” IEEE 1987,
`pp. 112—115.
`for
`Bradsma, et al. “The Hardware Simulator: A Tool
`Evaluating Computer Systems,” IEEE Transactions on
`Computers, Jan., 1977, pp. 68—72.
`Horstmann, “Marco Test Circuit Generation,” IBM TDM
`vol. 18, No. 12, May 1976 pp. 4023—4029.
`IBM TDM, “Testing Multiple Discrete Software Compo-
`nents by Connecting Real and Simulated Hardware Com-
`ponents,” vol. 30, No. 4, Sep., 1987, pp. 1844—1845.
`William S. Carter, et al., “A User Programmable Reconfig-
`urable Logic Array,” 1986 IEEE, pp. 233—235, Custom
`Integrated Circuits Conference.
`R. Ayres, “Silicon Compilation a Hierarchical Use of
`PLAs”, Xerox Corporation, pp. 314—326.
`Borriello; “High—Level Synthesis: Current Status and Future
`Directions” IEEE 1988, pp. 477—482.
`McFarland; “Tutorial on High—Level Synthesis” 25th ACM/
`IEEE Design Automation Conference, 1988, pp. 330—336.
`J .Babb, R.Tessier, Virtual Wires; Overcoming Pin Limita-
`tions in FPGA—based Logic Emulators, Massachusette Insti-
`tute of Technoogy, Student Workshop on Scalable Comput-
`ing, Aug. 4, 1993.
`R.Tessier,].Babb,M.Dahl,S.Hanono and D.Hoki, “The Vir-
`tual Wires Emulation System: A Gate—Efficient ASIC Pro-
`totyping Environment”, MIT, Student Workshop on Scalable
`Computing Jul. 21—22, 1994S.
`Nick Schmits, “Emulation of VLSI Devices Using LACs,”
`May 20, 1987, pp. 54—63, VLSI Systems Design.
`Prathima Agrawal, “A Hardware Logic Simulation System,”
`Jan. 1980, pp. 19—29, IEEE Transactions on Computer
`Aided Design, vol. 9, No. 1.
`Munoz, et al., “Automatic Partitioning of Programmable
`Logic Devices,” VLSI Systems Design, Oct. 1987, pp.
`74—86.
`
`Feng, “A Survey of Interconnection Networks,” Computer,
`Dec. 1981, pp. 12—27.
`Chapter 36, “Switching Networks and Traffic Concepts,”
`Reference Data for Radio Engineers, Howard W. Sams &
`Co., 1981, pp. 36—1 to 36—16.
`S.Hanono, “Inner View Hardware Debugger; A Logic
`Analysis Tool for the Virtual Wires Emulation System”,
`Masters Thesis, Massachusette Institute of Technoogy,
`Department of Electrical Engineering and Computer Sci-
`ence, Jan. 1995; Also available as MIT/LCS Technical
`Report.
`Alfred E. Dunlop, et al., “A Procedure for Placement of
`Standard—Cell VLSI Circuits,” 1985 IEEE, pp. 92—98.
`
`Ching—Wei Yeh, et al., “A General Purpose Multiple Way
`Partitioning Algorithm,” pp. Q15400—Q15405.
`“The Programmable Gate Array Data Book”; XilinX Inc.
`1988.
`
`Kautz, et al. “Cellular Interconnection Arrays,” IEEE Trans-
`actions on Computers, vol. C—17, No. 5, May 1968, pp.
`443—45 1.
`
`Kautz, et al. “Cellular Logic—in—Memory Arrays,” IEEE
`Transactions on Computers, vol. C—18, No. 8, Aug. 1969,
`pp. 719—727.
`M.Dahl, “An Implementation of the Virtual Wires Intercon-
`nect Scheme”, Masters Thesis, Massachusette Institute of
`Technoogy, Department of Electrical Engineering and Com-
`puter Science, Feb. 1994.
`T.J.Bauer, “The Design of an Efficient Hardware Subroutine
`Protocol for FPGAs”, Masters Thesis, Massachusette Insti-
`tute of Technoogy, Department of Electrical Engineering
`and Computer Science, May 1994.
`Wirbel, “Plus Logic Rethinks PLD Approach,” newspaper
`article, not dated, one page.
`Pardner Wynn, “In—Circuit Emulation for ASIC—Based
`Designs,” Oct. 1986, pp. 38—46, VLSI Systems Design.
`Donnell, “Crosspoint Switch: A PLD Approach,” Digital
`Design, Jul. 1986 pp. 40—44.
`Beresford, “Hard Facts, Soft ASICS,” VLSI Systems
`Design, Dec. 1986, p. 8.
`“ERA60100 Electrically Reconfigurable Array—ERA,” Bro-
`chure by Plessey Semiconductors, Apr. 1989.
`Synder, “Introduction to the Configurable, Highly Parallel
`Computer,” Report CSD—TR—351, Office of Naval Research
`Contracts N00014—80—K—0816 and N00014—8—1—K—0360,
`Nov. 1980.
`
`Palesko, et al., “Logic Partitioning for Minimizing Gate
`Arrays,” IEEE Transactions on Computer—Aided Design of
`Integrated Circuits and Systems, vol. CAD—2, No. 2, Apr.
`1983.
`
`Chin, et al. A Dynamically Reconfigurable Interconnect
`Chip; IEEE International Solid State Circuits conference,
`1987; pp. 276—277 & 425.
`McCarthy, “Partitioning Adapts Large State Machines to
`PLDs,” EDN, Sep. 17, 1987, pp. 163—166.
`Geoffrey Mott, et al. “The Utility of Hardware Accelerators
`in the Design Environment,” Oct. 1985, pp. 62—71, VLSI
`Systems Design.
`Hou, et al., “A High Level Synthesis Tool for Systolic
`Designs,” IEEE, 1988, pp. 665—673.
`“Gate Station Reference Manual,” Mentor Graphics Corp.,
`1987 (excerpts).
`Dussault, et al., “A High Level Synthesis Tool for MOS Chip
`Design,” 21st Design Automation conference, 1984, IEEE,
`pp. 308—314.
`DeMicheli, et al., “HERCULES—A System for High Level
`Synthesis,” 25th ACM/IEEE Design Automation Confer-
`ence, 1988, pp. 483—488.
`J .Babb, A.Agarwal “More Virtual Wires”, article from
`webmaster@cag.Ics.mit.edu Feb. 3, 1995.
`R.Tessier
`“More Virtual
`Pictures”,
`webmaster@cag.Ics.mit.edu Feb. 3, 1995.
`Schmitz, “Emulation of VLSI Devices using LCAs,” VLSI
`Systems Design, May 20, 1987, pp. 54—62.
`Abramovici, et al., “A Logic Simulation Machine,” 19th
`Design Automation Conference, Paper 7.4, 1982, pp. 65—73.
`Hennessy, “Partitioning Programmable Logic Arrays,”
`undated, pp. 180—181.
`
`article
`
`from
`
`SYNOPSYS 1010
`
`3
`
`SYNOPSYS 1010
`
`
`
`5,960,191
`
`Page 4
`
`DeMicheli, et al., “Topological Partitioning of Program-
`mable Logic Arrays,” undated, pp. 182—183.
`Runner, “Synthesizing Ada’s Ideal Machine Mate,” VLSI
`Systems Design, Oct., 1988, pp. 30—39.
`Wagner, “The Boolean Vector Machine,” ACM SIGARCH,
`1983, pp. 59—66.
`Preparata, “The Cube—Connected Cycles: A Versatile Net-
`work for Parallel Computation,” Communications of the
`ACM, May, 1981, pp. 300—309.
`Clos, “A Study of Non—Blocking Switching Networks,” The
`Bell System Technical Journal, Mar. 1953, pp. 126—144.
`Masson, “A Sampler of Circuit Switching Networks” Com-
`puter, Jun. 1979, pp. 32—48.
`“Plus Logic FPGA2020 Field Programmable Gate Array”
`Brochure by Plus Logic, San Jose, CA, pp. 1—13.
`Fiduccia, et al. “A Linear—Time Heuristic For Improving
`Network Partitions,” IEEE Design Automation Conference,
`1982, pp. 175—181.
`Trickey, “Flamel: A High—Level Hardware Compiler,” IEEE
`Transactions on Computer—Aided Design, Mar., 1987, pp.
`259—269.
`
`Schweikert, “A Proper Model for the Partitioning of Elec-
`trical Circuits,” Bell Telephone Laboratories, Inc. Murray
`Hill, N.J., pp. 57—62.
`“Partitioning of PLA Logic,” IBM TDM, vol. 28, No. 6,
`Nov. 1985, pp. 2332—2333.
`Goossens, et al., “A Computer—Aided Design Methodology
`for Mapping DSP—Algorithms Onto Custom Multi—Proces-
`sor Architectures,” IEEE 1986, pp. 924—925.
`Hedlund et al., “Systolic Architectures—A Wafer Scale
`Approach,” IEEE, 1984, pp. 604—610.
`Choi et al., “Fault Diagnosis of Switches in Wafer—Scale
`Arrays,” AIEEE, 1986, pp. 292—295.
`Mentor Graphics Corp., “Gate Station User’s Manual,”
`1987, (excerpts).
`Mentor Graphics Corp., “Technology Definition Format
`Reference Manual,” 1987, (excerpts).
`Chen, “Fault—Tolerant Wafer Scale Architectures Using
`Large Crossbar Switch Arrays,” excerpt from Jesshope, et
`al., Wafer Scale Integration, A.Hilger, 1986, pp. 113—124.
`Kung, “Why Systolic Architectures?,” Computer, Jan. 1982,
`pp. 37—46.
`Hedlund, “Wafer Scale Integration of Parallel Processors,”
`Doctoral Thesis
`(Purdue University; Office of Naval
`Research
`Contracts
`N00014—80—K—0816
`and
`
`N00014—81—K—0360) 1982.
`McClure, “PLD Breadboarding of Gate Array Designs,”
`VLSI Systems Design, Feb. 1987, pp. 36—41.
`Anderson, “Restructurable VLSI Program” Report No.
`ESD—TR—80—192
`(DARPA
`Contract
`No.
`F19628—80—C—0002), Mar. 31, 1980.
`Xilinx, First Edition, “The Programmable Gate Array
`Design Handbook,” 1986, pp. 1—1 to 4—33.
`Odawara, “Partitioning and Placement Technique for CMOS
`Gate Arays,” IEEE Transactions on Computer Aided
`Design, May 1987, pp. 355—363.
`Beresford, “An Emulator for CMOS ASICS,” VLSI Systems
`Design, May 4, 1987, p. 8.
`Denneau, “The Yorktown Simulation Engine,” 19th Design
`Automation conference, Paper 7.2, 1982, pp. 55—59.
`Kronstadt, et al., “Software Support for the Yorktown Simu-
`lation Engine,” 19th Design Automation conference, Paper
`7.3, 1982, pp. 60—64.
`Koike, et al., “HAL: A High—Speed Logic Simulation
`Machine,” IEEE Design & Test, Oct. 1985, pp. 61—73.
`
`Shear, “Tools help you retain the advantages of using
`breadboards in gate—array design,” EDN, Mar. 18, 1987, pp.
`81—88.
`
`Gentile, et al. “Design of Switches for Self—Reconfiguring
`VLSI Array Structures,” Microprocessing and Micropro-
`gramming, North—Holland, 1984, pp. 99—108.
`Sami, et al. “Reconfigurable Architectures for VLSI Pro-
`cessing Arrays,” AFIPS Conference Proceedings, 1983
`National Computer Conference, May 16—19, 1983, pp.
`565—577.
`
`Beece et al., “The IBM Engineering Verification Engine,”
`25th ACM/IEEE Design Automation Conference, Paper
`17.1, 1988, pp. 218—224.
`Pfister, “The Yorktown Simulation Engine: Introduction,”
`19th Design Automation conference, Paper 7.1 1982, pp.
`51—54.
`
`Minnick, “A Programmable Cellular Array,” undated, pp.
`25—26.
`
`Minnick, “Cutpoint Cellular Logic,” IEEE Transactions on
`Electronic Computers, Dec. 1964, pp. 685—698.
`Jump, et al. “Microprogrammed Arrays,” IEEE Transactions
`on Computers, vol. C—21, No. 9, Sep. 1972, pp. 974—984.
`J .W.Babb, “Virtual Wires: Overcomming Pin Limitations in
`FPGA—based Logic Emulation”, Masters Thesis, Massachu-
`sette Institute of Technoogy, Department of Electrical Engi-
`neering and Computer Science, Nov. 1993; Also available as
`MIT/LCS Technical Report TR—586.
`Shoup, “Programmable Cellular Logic Arrays,” Doctoral
`Thesis (Carnegie—Mellon University; DARPA contract No.
`F44620—67—C—0058), Mar. 1970.
`Shoup, “Programmable Cellular Logic,” undated, pp. 27—28.
`Wynn, “In—Circuit Emulation for ASIC—Based Designs”
`VLSI Systems Design, Oct. 1986, pp. 38—45.
`Minnick, Survey of Microcellular Research, Stanford
`Research
`Institute
`Project
`5876
`(Contract AF
`19(628)—5828), Jul. 1966.
`Siegel “The Design of a Logic Simulation Accelerator”, Oct.
`1985 pp. 76—86 VLSI Systems Design.
`Manning, “An Approach to Highly Integrated, Computer-
`—Maintained Cellular Arrays”, IEEE Transactions on Com-
`puters, vol. C—26, Jun. 1977, pp. 536—552.
`Manning, “Automatic Test, Configuration, and Repair of
`Cellular Arrays”, Doctoral Thesis MAC TR—151 (MIT), Jun.
`1975.
`
`M.Dahl,J.Babb,R.Tessier,S.Hanono,D.Hoki and A.Agarwal,
`“Emulation of a Sparc Microprocessor With the Massachu-
`sette Institute of Technoogy, Virtual Wires Emulation Sys-
`tem”, IEEE Workshop on FPGAs for Custom Computing
`Machines ’94 (FCCM ’94), Apr. 1994.
`Ravenscroft, Function Language Extractor and Boolean
`Generator IEEE 1986, pp. 120—123.
`T.Payne; Automated Partitioning of Hierarchically Specified
`Digital Systems; May 1981.
`Tham, “Parallel Processing CAD Applications”,
`Design & Test of Computer, Oct. 1987, pp. 13—17.
`Agrawal, et al. “MARS: A Multiprocessor—Based Program-
`mable Accelerator”, IEEE Design & Test of Computers, Oct.
`1987, pp. 28—36.
`R.Tessier,J.Babb,M.Dahl,S.Hanono and A.Agarwal, “The
`Virtual Wires Emulation Syste; A Gate Efficient ASIC Pro-
`totyping Environment”, ACM Workshop on FPGA’s (FPGA
`’94) Feb. 1994.
`“The Homogenous Computational Medium; New Technol-
`ogy For Computation”, Concurrent Logic Inc., Jan. 26,
`1987.
`
`IEEE
`
`SYNOPSYS 1010
`
`4
`
`SYNOPSYS 1010
`
`
`
`5,960,191
`
`Page 5
`
`Spandorfer, “Synthesis of Logic Functions on an Array of
`Integrated Circuits”, Contract Report AFCRI—6—6—298, Oct.
`31, 1965.
`J .Babb, R.Tessier, A.Agarwal, Virtual Wires; Overcoming
`Pin Limitations in FPGA—based Logic Emulators, IEEE
`Workshop on FPGAs for Custom Computing Machines ’93
`(FCCM ’93), Apr. 1993.
`VHDL Mixed—Level Fault Simulator; IKOS Systems Mar.
`26, 1997.
`VirtuaLogic SLI Emulation System; IKOS Systems Mar. 26,
`1997.
`
`Logic Emulation For the Masses Arrives; IKOS Systems
`Mar. 26, 1997.
`
`IKOS Systems to Acquire Virtual Machineworks; IKOS
`Systems Mar. 26, 1997.
`R.Goering; Emulation for the Masses; Electronic Engineerig
`Times; Jan. 1996.
`McFarland, A.Parker, R.Camposano; The High—Level Syn-
`thesis of Digital Systems; Proceedings of the IEEE, vol. 78,
`No. 2—Feb. 1990.
`
`L.Maliniak; Pin Multiplexing Yields Low—Cost Logic Emu-
`lation; Electronic Design, Jan. 22, 1996.
`A.Agarwal; Virtual Wires: A technology for Massive Mul-
`ti—FPGA Systems; Virtual Machine Works.
`D.Jones; ATime—Multiplexed FPGAArchitecture For Logic
`Emulation; Thesis 1995.
`
`SYNOPSYS 1010
`
`5
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 1 0f 30
`
`5,960,191
`
`ECROSSBAR
`AIE
`
`GCROSSBARD
`
`LOGlC CHIP
`
`LOGIC CHIP
`
`LOGIC CHIP
`
`F/G.
`
`/.
`
`6
`
`SYNOPSYS 1010
`
`6
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 2 0f 30
`
`5,960,191
`
`SignalA
`
`40/
`
`8‘0
`42/ Iona
`
`IE
`
`I
`
`I
`
`I
`
`I
`
`I
`
`“01%ka
`
`44f
`
`SYNC-
`
`48/
`
`of Divided Clock
`
`5
`
`Sample A
`
`4
`
`Sample B
`
`4
`
`I
`
`4
`
`I
`
`4
`
`I
`
`4
`
`I
`
`4
`
`I
`
`4
`
`I
`
`4
`
`4
`
`I
`
`4
`
`4
`
`I
`
`4
`
`I
`
`4
`
`I
`
`4
`
`OUtPUt A
`
`L.___J
`
`L._J L4
`
`[—1
`
`L..___l g.)
`
`L___l
`
`OUtPUt B
`
`l_J g4 L_l Q l_!
`
`[—1
`
`fExternalSignalA B A B A B A B A B A B
`
`46
`
`F/(E. 2.
`
`7
`
`SYNOPSYS 1010
`
`7
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 3 0f 30
`
`5,960,191
`
`OUTPUT
`PIN
`
`DIVIDER '
`48
`'
`
`F/G. 3.
`
`MUXCLK
`
`SYNC-
`
`
`
`12
`
`INPUT
`
`OUTPUT
`
`
`
`MUX CHIP H6 4
`
`MUXCLK
`
`SYNC-
`
`8
`
`SYNOPSYS 1010
`
`8
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 4 0f 30
`
`5,960,191
`
`
`zo_E§\gg53032213
`
`:22o22%E/g
`
`
`
` BEEcm3SESEEEonm._<zo_wm._m<zw/mm-oma2:L255/3S2:m:22?waEEsa25511:
`
`o22%EZEE/
`
`mm
`
`
`
`_|l|||u|l|_|_l-ozs\\$
`
`Egg:3Emmt
`
`\g
`
`SYNOPSYS 1010
`
`9
`
`SYNOPSYS 1010
`
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 5 0f 30
`
`5,960,191
`
`EXTERNAL
`SIGNAL
`
`LOGIC CHIP
`
`
`
`10
`
`SYNOPSYS 1010
`
`10
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 6 0f 30
`
`5,960,191
`
`QGNAL
`
`134
`
` EXTERNAL
`
`MUX CHIP
`
`MUXCLK
`
`F/G7.
`
`11
`
`SYNOPSYS 1010
`
`11
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 7 0f 30
`
`5,960,191
`
`myQt
`
`I1||ll|._|||||LII<5%\
`
`Fm:35\
`
`zoo—Uu:%m<\
`
`0:
`
`m3
`
`EL
`
`
`
`3685SEE3:5
`
`
`
`S3SSRama.mESxm\9:
`
`12
`
`SYNOPSYS 1010
`
`12
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 8 0f 30
`
`5,960,191
`
`Dam
`
`
`
`wngousm395
`
`mm_OmNfiomNfiOmNHomNMomNfiommgOmN“o“EDOUAQQ
`
`
`
`.m:w_m:2:meR.
`
`m2
`
`\02
`
`WQQ
`
`__m1“:me\
`
`v_<Rcflm\
`
`zoo—Uocxm<\
`
`9:
`
`NE
`
`3;
`
`13
`
`SYNOPSYS 1010
`
`13
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 9 0f 30
`
`5,960,191
`
`
`
`@5525San5.5m
`
`
`
`Ecwrm_mE8xm\no
`
`na
`
`9Qt
`
`.620uim<\__mEcwfi\.__<15%\
`
`03
`
`NE
`
`X;
`
`14
`
`SYNOPSYS 1010
`
`14
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 10 0f 30
`
`5,960,191
`
`BACKPLANE
`1804 PINS
`
`TURBO
`1868 PINS
`
`EVENT BUS
`
`CLOCK IN
`
`15
`
`SYNOPSYS 1010
`
`15
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 11 0f 30
`
`5,960,191
`
`New
`
`928083
`
`928053
`
`95828..
`
`2mcom.22%was9282ifIIIII
`
`20928MES22%o_
`2:8:3$28SEZS
`.rIIIII
`..rI|9:222:
`
`DDDDDDDD
`
`16
`
`SYNOPSYS 1010
`
`16
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 12 0f 30
`
`5,960,191
`
`
`
`F/G.
`
`/4.
`
`REPEATER
`
`EXTERNAL
`SYSTEM
`
`540
`
`17
`
`SYNOPSYS 1010
`
`17
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 13 0f 30
`
`5,960,191
`
`om<om2&0
`
`oo~
`
`
`
`om<omonpzoo
`
`SSt
`
`om<omo_
`
`
`
`xo<m¢OO4ommap
`
`ox<omgoo;
`
`comomw
`
`
`
`¥o<mmoo4mz<rmxo<m
`
`New
`
`omm
`
`
`
`zo<mmoo4wz<r¢¥o<m
`
`18
`
`SYNOPSYS 1010
`
`18
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 14 0f 30
`
`5,960,191
`
`510
`
`500
`
`/ 304
`
`A_
`
`lO BOARD
`JTAG
`
`"I
`
`5 LOGIC
`p CHIP
`
`SGRAM
`
`
`
`PROCESSORBUS
`
`
`
`
`
`19
`
`SYNOPSYS 1010
`
`19
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 15 0130
`
`5,960,191
`
`402
`
`420
`
`{404
`
`_______
`
`
` .....
`
`
`
`
`
`
`E
`
`
`
`
`
`
`
`512
`
`E
`
`U
`
`X
`
`4
`
`
`
`
`
`
`20
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 16 0f 30
`
`5,960,191
`
`om<0mQ
`
`NF
`
`mobxmmzmo
`
`mn=Io059OF
`
`o¢<0m0504
`
`x0040
`
`mo._.<mm_zmo
`
`E10069
`
`$100504
`
`21
`
`SYNOPSYS 1010
`
`21
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 17 0f 30
`
`5,960,191
`
`LOGIC OR l/O BOARD
`
`CONTROL BOARD
`
`.ONTROLLER
`
`PROCESSOR-
`
`CONTROL & - FLASH
`INTERRUPT
`EEPROM
`
`ETHERNET
`
`INTERFACE
`
`32 BIT VME
`
`VME
`
`F/G. 20
`
`22
`
`SYNOPSYS 1010
`
`22
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 18 0f 30
`
`5,960,191
`
`.QQN6Q
`
`com
`
`coo
`
`one
`
`55on£22mmm8
`
`5<
`
`8
`
`06906908
`V.a$10“=10QCa
`
`«mmxoommvN8.IE
`525:mm452
`
`or
`
`9:8069Ezma
`
`”$0.25.
`
`mo._.<mmzmo
`
`$109004
`
`9:855on
`
`23
`
`SYNOPSYS 1010
`
`23
`
`SYNOPSYS 1010
`
`
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 19 0f 30
`
`5,960,191
`
`Emma or
`
`0604
`
`059z<ow
`
`ooom
`awhmmmz\...........................................................
`
`
`
`E<m0m._<zmm._.xm
`
`QQN6Q
`
`
`
`x0040mo<m._.
`
`24
`
`SYNOPSYS 1010
`
`24
`
`SYNOPSYS 1010
`
`
`
`
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 20 0f 30
`
`5,960,191
`
`H6. 200.
`
`USER LOGIC
`
`10
`
`5
`5
`
`E
`i
`
`5
`:
`5
`
`i
`
`3
`
`{2000
`INSERTED LOGIC
`
`g
`SGRAM DATA . _
`
`2005
`
`p
`
`2004
`
`i 2006
`
`SCAN REGISTER
`
`
`lilg—FE_fl“ /2012
`
`
`5
`
`g
`
`:
`5
`
`2010
`
`2010
`
`2010
`
`R_EADPORT ADDRESS
`2 PORT 16x1 CLB MEMORY
`
`’
`
`TO OTHER
`EDGE
`DETECTORS EVENTO
`
`2020 'g
`
`2022
`
`5
`
`MUXCLK—— 44
`
`EVENTS OUTPUTS (4)
`
`TRACE CLOCKT” 2002
`
`25
`
`SYNOPSYS 1010
`
`25
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 21 0f 30
`
`5,960,191
`
`A
`DESIGN
`OUTPUT>
`COMBINATIONAL
`SIGNAL
`
`
`
`vra
`
`i ,X'COMBINATIONAL
`LOGIC CONE
`
`HG. 200’
`
`26
`
`SYNOPSYS 1010
`
`26
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 22 0f 30
`
`5,960,191
`
`1000
`
`1002
`
`1004
`
`1008
`
`””2
`
`1014
`
`HPP
`
`1016
`
`PARTITION DB SETUP
`
`#—1018
`
`CHIP PARTITION
`
`1020
`
`NGD OUT
`
`I
`
`PRELIMINARY PPR
`
`
`
`1026
`
`1028
`
`1030
`
`1032
`
`1034
`
`PHYSICAL DB GENERATION
`
`BOARD PARTITION
`
`
`
`
`FINAL PPRIII 1036
`
`EBM COMPILATION
`
`SYSTEM ROUTING
`
`NGD UPDATE
`
`F76. 2/.
`
`27
`
`SYNOPSYS 1010
`
`27
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 23 0f 30
`
`5,960,191
`
`HG. 22.
`
`IMPORT
`
`H00
`
`BEHAV. DB
`
`”02
`
`PREPROCESSOR
`
`||04
`
`BEHAV. DB
`
`l|06
`
`IIIO
`
`CODE GENERATOR
`
`NETLIST GENERATOR
`
`“03
`
`m2 W LOGICAL DB
`
`“14
`
`28
`
`SYNOPSYS 1010
`
`28
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 24 0130
`
`5,960,191
`
`D1 _[0:31]
`0240:31]
`
`0104031]
`
`32
`
`WA2_[O:9]
`
`WA1_[O:9]
`
`WA16_[0:9]
`
`D)
`
`RA1_[O:9]
`RA2J029]
`
`RA16_[0:9]
`
`SLOT_SEL
`
`CONFIG
`
`4
`
`STOPCNTR
`
`MUXCLK
`
`WE[1:16]
`
`’
`
`A
`
`WE_ARB
`
`10
`
`A
`
`
`
`R_COUNTER
`4 ‘052
`
`=ll DO
`I
`09
`
`A
`
`1060
`
`DO
`
`01
`WA
`
`RA
`
`WE
`
`‘
`
`1053
`
`1054
`
`READ DECODER
`
`F/G‘. 220.
`
`29
`
`SYNOPSYS 1010
`
`29
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 25 0f 30
`
`5,960,191
`
`HG. 23.
`
` MP CELL
`
`
`
`PERIPHERAL
`CONTROLLER
`CELL
`
`(Z162
`
`1202
`
`F/G. 24b
`
`FOUR 2:1 TDM INPUTS
`
`
`
`3O
`
`SYNOPSYS 1010
`
`30
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 26 0f 30
`
`5,960,191
`
`MS
`
`
`
` T2M2I2O
`
`TWO 2:1 TDM INPUTS AND TWO OUTPUTS
`
`
`|23
`
`O2
`
`/-7(5. 246.
`
`MS
`
`
`
`
`
`I OBUF
`
`
`
`TWO 2:1 TDM OUTPUTS
`
`MS
`
`MC
`
`F/G. 24d
`
`TWO 2:1 TDM INPUTS
`
`
`
`31
`
`SYNOPSYS 1010
`
`31
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 27 0f 30
`
`5,960,191
`
`
`
`00
`
`O1
`
`T4M202|
`
`FULL 4:1 TDM GROUP (00“ TYPE)
` I23
`
`02
`
`
`
`
`E0 E2 E3 C
`
`03
`
`F/G. 241‘
`
`
`
`T4M2I2O
`
`|01
`
`
`
`MS
`
`MT
`
`
`
`T4M203
` PARTIAL 4:1 TDM GROUP (02/03 ONLY)
`E1 E2 C
`
`32
`
`SYNOPSYS 1010
`
`32
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 28 0f 30
`
`5,960,191
`
` PARTIAL 4:1 TDM GROUP (00/01 ONLY)
`
`
`
`
`
`#76. 24/
`
`
`T4M2l0
`
`
`
`PARTIAL 4:1 TDM GROUP (IO/I1 ONLY)
`
`HG. 24k.
`
`PARTIAL 4:1 TDM GROUP (l2/I3 ONLY)
`
`33
`
`SYNOPSYS 1010
`
`33
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep.28, 1999
`
`Sheet 29 0f 30
`
`5,960,191
`
`r1300
`
`MUXCLK
`
`MUXCLK
`
`F/G‘. 25.
`
`
`
`'
`
`2012
`
`y2012
`
`2022
`
`OBUF
`
`H6. 26.
`
`2022
`
`236
`
`OBUF
`
`34
`
`SYNOPSYS 1010
`
`34
`
`SYNOPSYS 1010
`
`
`
`US. Patent
`
`Sep. 28, 1999
`
`Sheet 30 0f 30
`
`5,960,191
`
`kmSE
`
`IImIm"5H"zwisfig8:1":8E889"m32um3236%usenm;82mu
`oE‘$5.80NkmE:maidsAmms:
`
`nEm83mm
`
`\82mm
`
`35
`
`SYNOPSYS 1010
`
`35
`
`SYNOPSYS 1010
`
`
`
`
`5,960,191
`
`1
`EMULATION SYSTEM WITH TIME-
`MULTIPLEXED INTERCONNECT
`
`1. FIELD OF THE INVENTION
`
`The present invention relates in general to apparatus for
`verifying electronic circuit designs and more specifically to
`hardware emulation systems in which multiple design sig-
`nals are carried on a single physical wire between program-
`mable logic chips.
`2. BACKGROUND OF THE INVENTION
`
`Hardware emulation systems are devices designed for
`verifying electronic circuit designs prior to fabrication as
`chips or printed circuit boards. These systems are typically
`built from programmable logic chips (logic chips) and
`programmable interconnect chips (interconnect chips). The
`term “chip” as used herein refers to integrated circuits.
`Examples of logic chips include reprogrammable logic
`circuits such as field-programmable gate arrays (“FPGAs”),
`which include both off-the-shelf products and custom prod-
`ucts. Examples of interconnect chips include reprogram-
`mable FPGAs, multiplexer chips, crosspoint switch chips,
`and the like. Interconnect chips can be either off-the-shelf
`products or custom designed.
`Prior art emulation systems have generally been designed
`so that each signal in an electronic circuit design to be
`emulated is mapped to one or more physical metal lines
`(“wires”) within a logic chip. Signals which must go
`between logic chips are mapped to one or more physical pins
`on a logic chip and one or more physical traces on printed
`circuit boards which contain the logic and interconnect
`chips.
`The one-to-one mapping of design signals to physical pi