1. On-line testing of statically and dynamically scheduled synthesized systems
2. WILLIAMS, A.C.: ‘A behavioural VHDL synthesis system using data path optimisation’, 1997, PhD Thesis, University of Southampton, UK
3. Optimisation efficiency in behavioural synthesis
4. BAKER, K.R.: ‘Multiple objective optimisation of data and control paths in a behavioural silicon compiler’, 1992, PhD Thesis, University of Southampton, UK