Title : 
Multiple objective optimisation in behavioural synthesis
         
        
            Author : 
Currie, A.J. ; Baker, K.R.
         
        
            Author_Institution : 
Dept. of Electron. & Comput. Sci., Southampton Univ., UK
         
        
        
        
        
        
            Abstract : 
A behavioural synthesis system named MOODS, is currently under development at the University of Southampton as part of a collaborative project under the auspices of the DTI´s Information Engineering Advanced Technology Programme. The overall aim of the project is to produce an efficient implementation in silicon from a behavioural description of a design written in ELLA. The work described in the paper concerns the global optimisation of synthesised control and data paths using reversible design transformations, directed by means of a user-supplied cost function which can incorporate multiple constraints and target objectives
         
        
            Keywords : 
VLSI; circuit CAD; specification languages; MOODS; behavioural synthesis system; data paths; global optimisation; reversible design transformations;
         
        
        
        
            Conference_Titel : 
Formal and Semi-Formal Methods for Digital Systems Design, IEE Colloquium on
         
        
            Conference_Location : 
London