The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Dec. 17, 1996

Filed:

Feb. 21, 1995
Applicant:
Inventors:

Nir Shavit, Tel Aviv, IL;

Asaph Zemach, Ramat Hasharon, IL;

Dan Touitou, Ramat Gan, IL;

Assignee:

Ramot Ltd., Tel Aviv, IL;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F / ; G06F / ;
U.S. Cl.
CPC ...
395672 ; 395477 ; 395728 ;
Abstract

A diffracting token router for executing a correctness invariant. The diffracting token router is connected to at least one producer of tokens and at least two consumers of tokens. The diffracting token router includes an array of inlet wires, an array of outlet wires, a diffracting prism connected to the array of inlet wires and the array of two outlet wires and a decision decider connected to the diffracting prism and the at least two outlet wires. The diffracting taken router has two operative modes. In its first operative mode, two or more tokens arrive at the diffracting prism in a diffracting collision manner according to the correctness invariant, and are thereafter routed to the array of output wires according to the correctness invariant. In its second operative made, one or more tokens arrive at the diffracting prism in a non-diffracting collision manner according to the correctness invariant, and are thereafter routed to the decision mechanism which routes them to the array of outlet wires according to the correctness invariant.


Find Patent Forward Citations

Loading…