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 ther...
Main Authors: | Brown, A.D (Author), Milton, Dan (Author), Rushton, Andy (Author), Wilson, Peter R. (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
2013-01-07.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Behavioural synthesis utilising dynamic memory constructs
by: Milton, DJD, et al.
Published: (2004) -
Recursive Definitions of Monadic Functions
by: Alexander Krauss
Published: (2010-12-01) -
Recursive geometric definition of curves
by: Montiel Mancisidor, Maria Eugenia
Published: (1997) -
Learning recursive definitions in prolog.
by: Rios, Riverson.
Published: (2009) -
Investigations into inductive-recursive definitions
by: Malatesta, Lorenzo
Published: (2015)