System for frame-based protocol, graphical capture, synthesis, a

Details System for frame-based protocol, graphical capture, synthesis, a System for frame-based protocol, graphical capture, synthesis, a

1995-09-18

1999-07-06

Teska, Kevin J.

Boots, shoes, and leggings

364488, 364489, G06F 9455

Patent

active

059207116

ABSTRACT:
A system for specifying, synthesizing, analyzing, simulating, and generating circuit designs for frame protocols. A GUI allows a user to specify a frame protocol and to edit and browse frame protocols. The GUI also allows the user to analyze an intermediate virtual circuit resulting from the protocol and to check the syntax of the protocol specification. In addition, the GUI allows the user to generate a High-level Description Language (HDL) file for the protocol. After the HDL is generated, the user can, through the GUI, simulate the operation of the HDL. The present invention includes a "SIMPLUG" feature that specifies a standard interface for GUI software 110, allowing the GUI to operate with a variety of simulators. The present invention also "back annotates" the virtual circuit to provide information in the virtual circuit that is used during simulation to indicate information about individual frames in the protocol. The present invention also optimizes both the virtual circuit and intermediate state transition graphs in accordance with the level of optimization specified by the user.

REFERENCES:
patent: 4546435 (1985-10-01), Herbert et al.
patent: 5111413 (1992-05-01), Lazansky et al.
patent: 5175814 (1992-12-01), Anick et al.
patent: 5191646 (1993-03-01), Naito et al.
patent: 5243538 (1993-09-01), Okuzawa et al.
patent: 5253363 (1993-10-01), Hyman
patent: 5313615 (1994-05-01), Newman et al.
patent: 5544066 (1996-08-01), Rostoker et al.
Affdavit of J. Andrew Seawright, 3 pages, signed Jul. 28, 1998.
Affidavit of J. Andrew Seawright: Exhibit A, J. Andrew Seawright, "Protocol Compiler Demo Objectives", Synopsys, Inc., 27 pages, 1994.
Affidavit of J. Andrew Seawright: Exhibit B, J. Andrew Seawright and Dr. Raul Camposano, "Protocol Compiler Proposal", Synopsys, Inc., 18 pages, 1994.
Affidavit of J. Andrew Seawright: Exhibit C, J. Andrew Seawright and Dr. Raul Camposano, "Protocol Compiler Proposal", Synopsys, Inc., 17 pages, 1994.
Affidavit of Dr. Raul Camposano, 4 pages signed Aug. 11, 1998.
Affidavit of Dr. Raul Camposano: Exhibit A, "Minutes of Div. X/Synopsys Conference", 2 pages, Jun. 25, 1994.
Affidavit of Dr. Raul Camposano: Exhibit B, J. Andrew Seawright, "Protocol Compiler Demo Objectives", Synopsys, Inc., 27 pages, 1994.
Affidavit of Dr. Raul Camposano: Exhibit C, J. Andrew Seawright and Dr. Raul Camposano "Protocol Compiler Proposal", Synopsys, Inc., 18 pages, 1994.
Affidavit of Dr. Raul Camposano: Exhibit D, J. Andrew Seawright and Dr. Raul Camposano "Protocol Compiler Proposal", Synopsys, Inc., 17 pages, 1994.
Affidavit of Dr. Raul Camposano: Exhibit E, Email message addressed to Penny Herscher, 2 pages, Sep. 6, 1994.
Affidavit of Dr. Raul Camposano: Exhibit F, Purchase Order, issued Feb. 3, 1995 to Synopsys, Inc., 1 page.
Authors: Andrew Seawright and Forrest Brewer; Title: High-level Symbolic Construction Techniques for High Performance Sequential Synthesis; Article pp. 424-428; 30.sup.th ACM/IEEE Design Automation Conference 1993.
Authors: Andrew Seawright and Forrest Brewer; Title: Clairvoyant: A Synthesis System for Production-Based Specification; Article pp. 172-185; IEEE Transactions on very large Scale Integration (VLSI) Systems, vol. 2; No. 2, Jun. 1994.
Authors: Andrew Seawright and Forrest Brewer; Title: Synthesis from Production-Based Specifications; Article pp. 194-199; 29.sup.th ACM/IEEE Design Automation Conference 1992.
Author: Andrew Seawright; Title: Grammar-Based Specification and Synthesis for Synchronous Digital Hardware Design; Thesis (submitted to Thesis committee); Jun. 1994.
Brian Ebert et al., "SeeSaw: A Verilog Synthesis Viewer," 2nd Annual International Verilog HDL Conference, Design Excellence for Today and Tomorrow; Santa Clara, CA, pp. 55-60, Mar. 22, 1993, sponsored by Open Verilog, Int.
Hyunwoo Cho et al., "ATPG Aspects of FSM Verification," IEEE, 1990, pp. 134-137.

Affiliated with

Also associated with

Rating

System for frame-based protocol, graphical capture, synthesis, a does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System for frame-based protocol, graphical capture, synthesis, a, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for frame-based protocol, graphical capture, synthesis, a will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-906165