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 |