Synthesis of electronic circuits
AssigneeThe University of Birmingham
InventorDan-Razvan Ghica
Life of this patent
Estimating the term…
Abstract
The invention relates to a method of synthesising an electronic circuit for performing a function. The method comprises programming the function using a programming language by defining one or more terms, each term comprising one or more functional constants. Game semantics are applied to interpret the programmed function. Each term is interpreted as one or more strategies defined on moves. Each of the constants of the programmed function is associated with a sub-circuit. Each move is associated with at least one input or output port of the associated sub-circuit, and a move occurrence defined by a strategy produces a change of state of an associated port. The associated sub-circuits are combined to provide a synthesised circuit for performing the function.
Claims9
A method of synthesising an electronic circuit for performing a function, the method comprising:
- programming said function using a programming language by defining one or more terms, each term comprising one or more functional constants;
- applying game semantics to interpret the programmed function, wherein each term is interpreted as one or more strategies defined on moves;
- associating each of said constants of the programmed function with a sub-circuit that comprises at least one input port and at least one output port, wherein each move is associated with at least one input or output port of the associated sub-circuit, and wherein a move occurrence defined by a strategy produces a change of state of an associated port;
- and
- combining the associated sub-circuits to provide a synthesised circuit for performing said function.
A method of synthesising an electronic circuit for performing a function, the method comprising:
- programming said function using a programming language by defining one or more terms, each term comprising one or more functional constants, and wherein the language is a linear-typed language, except that non-linear types are defined by use of a SHARE operation on an argument that returns two or more copies of the argument;
- applying game semantics to interpret the programmed function, wherein each term is interpreted as one or more strategies defined on moves;
- associating each of said constants of the programmed function with a sub-circuit, wherein each move is associated with at least one input or output port of said sub-circuit such that a sequence of inputs/outputs to said ports corresponds with a strategy;
- and
- combining the associated sub-circuits to provide a synthesised circuit for performing said function.
Dependencies are inferred from the claim text.