Behavioural synthesis utilising recursive definitions
Behavioural synthesis utilising recursive definitions
Behavioural synthesis is the process of automatically translating an abstract specification to physical realisation - silicon. The endpoints of this process are accelerating apart (behavioural descriptions become more abstract, DSM silicon becomes less willing to behave as Boolean circuits) but there is still work outstanding in the middle ground. Recursion allows the elegant expression of complicated systems, and is supported by many languages (software and hardware). The electronic design automation (EDA) tool designers- task is to support the semantics of a language (both simulation and synthesis). Although recursive descriptions can always be re-cast into non-recursive iterative forms, if a language supports a construct, a user should be able to utilise it (the authors are not offering any opinion on the relative wisdom of using recursion or iteration). The authors describe the problems/solutions of supporting the semantics of recursion (single/multiple, direct/arbitrarily indirect) in synthesis. The hardware synthesised can be smaller and faster than that obtained by reformulating the description. It is dangerous, to conclude too much from this - recursion requires a stack and a heap (plus managers). In software, these are taken for granted (-free- resources that do not feature in footprint metrics); in hardware, every resource needed must be explicitly created.
362-369
Brown, A.D.
5c19e523-65ec-499b-9e7c-91522017d7e0
Milton, Dan
09fe6d71-bbf2-4c54-8490-8f00808a8391
Rushton, Andy
2d3768fa-dd22-4ede-a35d-03db977365e1
Wilson, Peter R.
8a65c092-c197-4f43-b8fc-e12977783cb3
7 January 2013
Brown, A.D.
5c19e523-65ec-499b-9e7c-91522017d7e0
Milton, Dan
09fe6d71-bbf2-4c54-8490-8f00808a8391
Rushton, Andy
2d3768fa-dd22-4ede-a35d-03db977365e1
Wilson, Peter R.
8a65c092-c197-4f43-b8fc-e12977783cb3
Brown, A.D., Milton, Dan, Rushton, Andy and Wilson, Peter R.
(2013)
Behavioural synthesis utilising recursive definitions.
IET Computers & Digital Techniques, 6 (6), .
(doi:10.1049/iet-cdt.2012.0006).
Abstract
Behavioural synthesis is the process of automatically translating an abstract specification to physical realisation - silicon. The endpoints of this process are accelerating apart (behavioural descriptions become more abstract, DSM silicon becomes less willing to behave as Boolean circuits) but there is still work outstanding in the middle ground. Recursion allows the elegant expression of complicated systems, and is supported by many languages (software and hardware). The electronic design automation (EDA) tool designers- task is to support the semantics of a language (both simulation and synthesis). Although recursive descriptions can always be re-cast into non-recursive iterative forms, if a language supports a construct, a user should be able to utilise it (the authors are not offering any opinion on the relative wisdom of using recursion or iteration). The authors describe the problems/solutions of supporting the semantics of recursion (single/multiple, direct/arbitrarily indirect) in synthesis. The hardware synthesised can be smaller and faster than that obtained by reformulating the description. It is dangerous, to conclude too much from this - recursion requires a stack and a heap (plus managers). In software, these are taken for granted (-free- resources that do not feature in footprint metrics); in hardware, every resource needed must be explicitly created.
Text
CDT20120006_cp.pdf
- Version of Record
Restricted to Repository staff only
Request a copy
More information
e-pub ahead of print date: November 2012
Published date: 7 January 2013
Organisations:
EEE
Identifiers
Local EPrints ID: 350494
URI: http://eprints.soton.ac.uk/id/eprint/350494
PURE UUID: f3b5e581-68f0-4123-adec-c2a590e63ed2
Catalogue record
Date deposited: 25 Mar 2013 17:38
Last modified: 14 Mar 2024 13:26
Export record
Altmetrics
Contributors
Author:
A.D. Brown
Author:
Dan Milton
Author:
Andy Rushton
Author:
Peter R. Wilson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics