| Number | Date | Country | Kind |
|---|---|---|---|
| 96/03281 | Feb 1996 | GBX | |
| 96/03345 | Feb 1996 | GBX | |
| 96/03355 | Feb 1996 | GBX | |
| 96/03365 | Feb 1996 | GBX | |
| 96/03366 | Feb 1996 | GBX |
This is a divisional of U.S. patent application Ser. No. 08/675,857, filed Jul. 5, 1996, abandoned which is a continuation-in-part of both U.S. patent application Ser. No. 08/291,610, filed Aug. 17, 1994, now abandoned, and U.S. patent application Ser. No. 08/615,587, filed Mar. 12, 1996, now abandoned, which is a continuation of U.S. patent application Ser. No. 08/291,628, filed Aug. 17, 1994, now abandoned.
| Number | Name | Date | Kind |
|---|---|---|---|
| RE24906 | Ulrich | Dec 1960 | |
| 1781877 | Levin | Nov 1930 | |
| 2060800 | Ehrig et al. | Nov 1936 | |
| 2130605 | Staude | Apr 1938 | |
| 2146945 | Ehrig et al. | Feb 1939 | |
| 2503984 | Wuko | Apr 1950 | |
| 2647463 | Ferrar | Aug 1953 | |
| 3029731 | Bussey et al. | Apr 1962 | |
| 3121021 | Copeland | Feb 1964 | |
| 3257226 | Thwaites | Jun 1966 | |
| 3265556 | Hungerford | Aug 1966 | |
| 3360396 | Kennedy et al. | Dec 1967 | |
| 3407084 | Heywood | Oct 1968 | |
| 3426754 | Bierenbaum et al. | Feb 1969 | |
| 3467060 | Klebanow et al. | Sep 1969 | |
| 3523846 | Muller | Aug 1970 | |
| 3565728 | Alton | Feb 1971 | |
| 3575134 | Quint | Apr 1971 | |
| 3590452 | Macleod | Jul 1971 | |
| 3607579 | Enskat et al. | Sep 1971 | |
| 3645835 | Hodgson | Feb 1972 | |
| 3655488 | Goldstein et al. | Apr 1972 | |
| 3676184 | Spearin et al. | Jul 1972 | |
| 3677788 | Zirnite | Jul 1972 | |
| 3691140 | Silver | Sep 1972 | |
| 3722878 | Kistner | Mar 1973 | |
| 3857731 | Merrill, Jr. et al. | Dec 1974 | |
| 3861351 | Bonwit et al. | Jan 1975 | |
| 3897780 | Trousil | Aug 1975 | |
| 3934066 | Murch | Jan 1976 | |
| 4024679 | Rain et al. | May 1977 | |
| 4024814 | Becker | May 1977 | |
| 4054710 | Betsolas | Oct 1977 | |
| 4068615 | LeNir | Jan 1978 | |
| 4112177 | Salditt et al. | Sep 1978 | |
| 4163822 | Walter | Aug 1979 | |
| 4165404 | Quehl | Aug 1979 | |
| 4166152 | Baker et al. | Aug 1979 | |
| 4193178 | McArthur et al. | Mar 1980 | |
| 4202925 | Dabroski | May 1980 | |
| 4214743 | Meier | Jul 1980 | |
| 4219376 | Roman | Aug 1980 | |
| 4325321 | Wahnschaff | Apr 1982 | |
| 4327153 | Micheron | Apr 1982 | |
| 4407867 | Bruck et al. | Oct 1983 | |
| 4413562 | Fischer | Nov 1983 | |
| 4416448 | Meier | Nov 1983 | |
| 4427737 | Cilento et al. | Jan 1984 | |
| 4442152 | Kuester | Apr 1984 | |
| 4495318 | Howard | Jan 1985 | |
| 4526362 | Thierstein | Jul 1985 | |
| 4558888 | Hanson et al. | Dec 1985 | |
| 4566014 | Paranjpe et al. | Jan 1986 | |
| 4598112 | Howard | Jul 1986 | |
| 4612074 | Smith et al. | Sep 1986 | |
| 4698110 | Vassilios | Oct 1987 | |
| 4764402 | Pagendarm et al. | Aug 1988 | |
| 4798201 | Rawlings et al. | Jan 1989 | |
| 4805552 | Pagendarm et al. | Feb 1989 | |
| 4822670 | Ono et a. | Apr 1989 | |
| 4883209 | Hebels | Nov 1989 | |
| 4886564 | Pagendarm et al. | Dec 1989 | |
| 4886680 | Tindall | Dec 1989 | |
| 4904425 | Hebels et al. | Feb 1990 | |
| 4967740 | Riedel | Nov 1990 | |
| 4973040 | Kemp et al. | Nov 1990 | |
| 4973513 | Ridel | Nov 1990 | |
| 5009408 | Pulskamp | Apr 1991 | |
| 5029832 | Orsinger et al. | Jul 1991 | |
| 5032460 | Kantner et al. | Jul 1991 | |
| 5045569 | Delgado | Sep 1991 | |
| 5067699 | Gadway et al. | Nov 1991 | |
| 5085167 | Hebels | Feb 1992 | |
| 5168639 | Hebels | Dec 1992 | |
| 5179908 | Hebels | Jan 1993 | |
| 5202190 | Kantner et al. | Apr 1993 | |
| 5212877 | Onur et al. | May 1993 | |
| 5378281 | Kawata | Jan 1995 | |
| 5409208 | Schmid | Apr 1995 | |
| 5421259 | Shiba et al. | Jun 1995 | |
| 5487780 | Ritter | Jan 1996 |
| Number | Date | Country |
|---|---|---|
| 0 070 524 | Jul 1982 | EPX |
| 0 163 127 | Dec 1985 | EPX |
| 0 270 833 | Nov 1987 | EPX |
| 0 439 941 | Aug 1991 | EPX |
| 0 455 615 | Nov 1991 | EPX |
| 2 568 146 | Jul 1984 | FRX |
| 590 293 | Mar 1935 | DEX |
| 976 092 | Feb 1963 | DEX |
| 15 94 309 | Sep 1969 | DEX |
| 15 94 060 | Jul 1970 | DEX |
| 17 52 337 | May 1971 | DEX |
| 24 17 312 | Oct 1974 | DEX |
| 24 25 130 | Dec 1975 | DEX |
| 76 10 712 | Apr 1976 | DEX |
| 28 36 319 | Mar 1979 | DEX |
| 40 35 091 | Nov 1980 | DEX |
| 31 21 992 | Dec 1982 | DEX |
| 32 19 094 | Nov 1983 | DEX |
| 34 17 746 | Nov 1985 | DEX |
| 36 28 784 | Aug 1986 | DEX |
| 36 32 816 | Sep 1986 | DEX |
| 36 06 199 | Aug 1987 | DEX |
| 37 41 680 | Dec 1987 | DEX |
| 38 02 797 | Mar 1990 | DEX |
| 40 13 776 | Apr 1990 | DEX |
| 49-111436 | Nov 1947 | JPX |
| 49-112819 | Dec 1947 | JPX |
| 50-79534 | Jun 1975 | JPX |
| 52-52936 | Apr 1977 | JPX |
| 52-123437 | Oct 1977 | JPX |
| 56-30481 | Mar 1981 | JPX |
| 57-12084 | Jan 1982 | JPX |
| 57-78471 | May 1982 | JPX |
| 57-115479 | Jul 1982 | JPX |
| 58-53975 | Mar 1983 | JPX |
| 58-96670 | Jun 1983 | JPX |
| 58-174484 | Oct 1983 | JPX |
| 58-167667 | Oct 1983 | JPX |
| 58-222170 | Dec 1983 | JPX |
| 59-176376 | Oct 1984 | JPX |
| 60-248786 | Dec 1985 | JPX |
| 61-10 | Jan 1986 | JPX |
| 4-14434 | Jan 1992 | JPX |
| 52-89138 | Nov 1993 | JPX |
| 60-26077 | Feb 1994 | JPX |
| 69 13302 | Nov 1969 | TWX |
| 70 11019 | Oct 1970 | TWX |
| 71 11864 | Jun 1971 | TWX |
| 71 13269 | Oct 1971 | TWX |
| 72 12276 | May 1972 | TWX |
| 74 104215 | Jul 1974 | TWX |
| 76 105671 | Dec 1976 | TWX |
| 64 11547 | Jul 1978 | TWX |
| 72 11663 | May 1983 | TWX |
| 72 13834 | Nov 1983 | TWX |
| 72 14566 | Dec 1983 | TWX |
| 74 105175 | Nov 1985 | TWX |
| 2 004 773 | Sep 1978 | GBX |
| 2 034 203 | Jun 1980 | GBX |
| 2 089 687 | Jun 1982 | GBX |
| 2 166 717 | Nov 1984 | GBX |
| 2 243 313 | Apr 1991 | GBX |
| 2 248 412 | Sep 1991 | GBX |
| WO 8705315 | Sep 1987 | WOX |
| WO 9419419 | Sep 1994 | WOX |
| WO 9605065 | Feb 1996 | WOX |
| WO 9605066 | Feb 1996 | WOX |
| Entry |
|---|
| Design Analyzer Reference, "Text Viewer," V.3.1, Mar. 1994. |
| Pure Software Inc., Pure Coverage Data Sheet (Web Page), copyright 1996. |
| Pure Software Inc., Quantify Data Sheet (Web Page), copyright 1996. |
| Pure Software Inc., Purify, Finding Run-Time Memory Errors (Web Page), copyright 1996. |
| Reed Hastings et al., Pure Software, Inc., Purify, Usenix White Paper on Purify (Web Page), copyright 1996. |
| Printout of Web Page for Centerline, Code Center, Release 4, Nov. 1994. |
| HDC Computer Corporation, FirstApps User's Guide, pp. 112-116, copyright 1992. |
| Louis Trevillyan, "An Overview of Logic Synthesis Systems," 1987, pp. 166-172. |
| Timothy Kam, "Comparing Layouts with HDL Models: A Formal Verification Technique," 1992, pp. 588-591. |
| D. E. Thomas et al., "Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench," pp. 257-274, publication date unknown. |
| Joseph S. Lis et al., VHDL Synthesis Using Structured Modeling, pp. 606-609; 26th ACM/IEEE Design Automation Conference.COPYRGT.; Las Vegas Convention Center, Jun. 25, 1989, Proceedings 1989. |
| Sougata Mukherjea et al., Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding; Proceedings 15th International Conference on Software Engineering, May 17, 1993, Baltimore, MD, pp. 456-465. |
| Brian Ebert et al., "SeeSaw: A Verilog Synthesis Viewer," pp. 55-60, publication date unknown. |
| "7A Programming the User Interface," Manual of Symbolics, Inc., 4 New England Tech Center, 555 Virginia Road, Concord, MA 01742, title page, pp. iii-v and pp. 1-134, Sep. 1986. |
| Number | Date | Country | |
|---|---|---|---|
| 615587 | Mar 1996 |
| Number | Date | Country | |
|---|---|---|---|
| Parent | 675857 | Jul 1996 |
| Number | Date | Country | |
|---|---|---|---|
| Parent | 291628 | Aug 1994 |
| Number | Date | Country | |
|---|---|---|---|
| Parent | 291610 | Aug 1994 |