{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/72062"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/72062","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Encoding Problems in Controller Synthesis","abstract":"High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior. The controller is a circuit that delivers the proper sequence of control signals to the modules of the datapath. The activity in which the controller is designed is known as controller synthesis. Controller synthesis is important because controllers can take up a large fraction of the total circuit area and so contribute substantially to production cost.","abstract_html":"High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior. The controller is a circuit that delivers the proper sequence of control signals to the modules of the datapath. The activity in which the controller is designed is known as controller synthesis. Controller synthesis is important because controllers can take up a large fraction of the total circuit area and so contribute substantially to production cost.","abstract_has_math":false,"creators":["Binger, David Mark"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Knapp, D.,"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-17T20:00:22Z","date_published":"2014-12-17T20:00:22Z","updated_at":"2026-07-22T22:26:06Z","subjects":["Engineering, Electronics and Electrical","Computer Science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI9305467"],"render_values":[{"text":"(UMI)AAI9305467","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/72062","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Knapp, D.,"]},{"key":"dc:creator","label":"Author","values":["Binger, David Mark"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-17T20:00:22Z","10000-01-01","1992"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Engineering, Electronics and Electrical","Computer Science"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/72062","(UMI)AAI9305467"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior. The controller is a circuit that delivers the proper sequence of control signals to the modules of the datapath. The activity in which the controller is designed is known as controller synthesis. Controller synthesis is important because controllers can take up a large fraction of the total circuit area and so contribute substantially to production cost.","Controller synthesis begins with a specification of the controller as a multiple-output multiple-valued logic function. To build the controller circuit, binary codes are selected to represent the multiple-valued logic values. The selection of representative binary codes often has a substantial impact on the quality of the final circuit. In encoding problems, the goal is to select representative binary codes for which the value of some objective function is optimal.","This thesis addresses several encoding problems that arise in controller synthesis. One encoding problem addressed in the thesis is a variation of the state assignment problem where the target circuit includes a counter. Other encoding problems considered in the thesis try to find encodings for which the results of a minimization procedure called column compaction are optimal. The thesis includes a detailed explanation of column compaction, and a novel algorithm for optimal column compaction.","Made available in DSpace on 2014-12-17T20:00:22Z (GMT). No. of bitstreams: 1 9305467.pdf: 4698826 bytes, checksum: f609c3b4f3c705d88a583152fbfb144d (MD5) Previous issue date: 1992","Embargo set by: Seth Robbins for item 72230 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","119 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992."]},{"key":"dc:title","label":"Title","values":["Encoding Problems in Controller Synthesis"]}]}],"canonical_facts":{"dc:contributor":["Knapp, D.,"],"dc:creator":["Binger, David Mark"],"dc:date":["2014-12-17T20:00:22Z","10000-01-01","1992"],"dc:description":["High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior. The controller is a circuit that delivers the proper sequence of control signals to the modules of the datapath. The activity in which the controller is designed is known as controller synthesis. Controller synthesis is important because controllers can take up a large fraction of the total circuit area and so contribute substantially to production cost.","Controller synthesis begins with a specification of the controller as a multiple-output multiple-valued logic function. To build the controller circuit, binary codes are selected to represent the multiple-valued logic values. The selection of representative binary codes often has a substantial impact on the quality of the final circuit. In encoding problems, the goal is to select representative binary codes for which the value of some objective function is optimal.","This thesis addresses several encoding problems that arise in controller synthesis. One encoding problem addressed in the thesis is a variation of the state assignment problem where the target circuit includes a counter. Other encoding problems considered in the thesis try to find encodings for which the results of a minimization procedure called column compaction are optimal. The thesis includes a detailed explanation of column compaction, and a novel algorithm for optimal column compaction.","Made available in DSpace on 2014-12-17T20:00:22Z (GMT). No. of bitstreams: 1 9305467.pdf: 4698826 bytes, checksum: f609c3b4f3c705d88a583152fbfb144d (MD5) Previous issue date: 1992","Embargo set by: Seth Robbins for item 72230 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","119 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992."],"dc:identifier":["http://hdl.handle.net/2142/72062","(UMI)AAI9305467"],"dc:subject":["Engineering, Electronics and Electrical","Computer Science"],"dc:title":["Encoding Problems in Controller Synthesis"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:06Z"}