The University of Southampton
University of Southampton Institutional Repository

Behavioural synthesis utilising recursive definitions

Brown, A.D., Milton, Dan, Rushton, Andy and Wilson, Peter R. (2013) Behavioural synthesis utilising recursive definitions IET Computers & Digital Techniques, 6, (6), pp. 362-369. (doi:10.1049/iet-cdt.2012.0006).

Record type: Article

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.

PDF CDT20120006_cp.pdf - Version of Record
Restricted to Repository staff only
Download (676kB)

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: 18 Jul 2017 04:34

Export record

Altmetrics

Contributors

Author: A.D. Brown
Author: Dan Milton
Author: Andy Rushton
Author: Peter R. Wilson

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×