High-level synthesis using structural input
The task of a high-level behavioural synthesis system is to create a structure to implement a given abstract specification of behaviour. The behaviour is specified at the algorithmic level, typically in the form of a high-level programming language. The synthesized structure is described at the regi...
Main Author: | Finlay, Iain William |
---|---|
Published: |
University of Edinburgh
1992
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650902 |
Similar Items
Similar Items
-
Proof planning for logic program synthesis
by: Kraan, H. C.
Published: (1994) -
Simulated annealing based datapath synthesis
by: Neil, John Paul
Published: (1994) -
Assume-guarantee strategy synthesis for stochastic games
by: Wiltsche, Clemens
Published: (2015) -
Logic minimization algorithms for three-level AND-OR-EXOR representations
by: Jabir, Abusaleh M.
Published: (2001) -
The structure of call-by-value
by: Führmann, Carsten
Published: (2000)