Scheduled System Maintenance on May 29th, 2015:
IEEE Xplore will be upgraded between 11:00 AM and 10:00 PM EDT. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

Behavioural synthesis support system for undergraduate teaching

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Ainscough, J. ; Manchester Polytech., UK ; Southall, D.M. ; Oakey, S. ; Goodwin, A.

As a result of a significant research effort over recent years, behavioural synthesis is now becoming accepted as a valuable technique for designing complex digital systems. Many, if not all, of the current systems are intended to achieve the transformation from behaviour to implementation in a completely automatic fashion via a silicon compiler. However, the paper shows that the formalism required by such an approach can have significant educational benefits by permitting the transformation and hence the design process to be described in a structural form. To assist the learning process, a support system has been developed which provides the following facilities. A transformation environment has been implemented which permits the student to interact with the tools in order to map a behavioural description into a structural form, which can express both the scheduling and allocation aspects of the synthesis process. An online behavioural synthesis tutoring system is available which operates at two levels. The first provides a range of graded assignments and supporting explanations. At the second level, support is provided to allow the student to explore the design space

Published in:

Circuits, Devices and Systems, IEE Proceedings G  (Volume:139 ,  Issue: 2 )