سال انتشار: ۱۳۸۱

محل انتشار: هشتمین کنفرانس سالانه انجمن کامپیوتر ایران

تعداد صفحات: ۸

نویسنده(ها):

Mehrdad Nourani – Department of Electrical and Computer Eng. University of Tehran, Tehran, Iran
Ali Afzali-Kusha – Department of Electrical and Computer Eng. University of Tehran, Tehran, Iran
Joan Carletta – Department of Electrical Eng. & Computer Science Case Western Reserve University, Cleveland, Ohio, USA
Christos Papachristou – Department of Electrical Eng. & Computer Science Case Western Reserve University, Cleveland, Ohio, USA

چکیده:

This work explores the relationship between controller synthesis and the testability and power consumption of systems consisting of interacting controllers and datapaths. A novel specification of “don’t cares” in controller synthesis is used, and the impact of the controller state encoding is considered. Results are reported for three different controller synthesis methods.