Back to results

University of Illinois at Urbana-Champaign

Constraint Driven Behavioral Synthesis

Abstract

dc:description

The model for constraint driven automated design is presented. This model defines a simple "Knob" and "Gauge" approach to meeting the imposed design constraints. Key to this approach is an iterative process of refinement of the design followed by evaluations of the result. These evaluations are used to determine ensuing modifications and refinements to the design which help it to meet the imposed constraints. A system for applying this model to computer architecture behavioral synthesis is also described. In behavioral synthesis, an abstract description of a system and a set of imposed constraints are used to design a register-transfer level implementation of the desired machine. Several runs of the system are presented and annotated including a design of a TMS320 DSP chip from a behavioral description of its operation.

Degree

thesis:*
Name thesis:degree_name
Ph.D.
Level thesis:degree_level
Dissertation
Discipline thesis:degree_discipline
Computer Science
Grantor
University of Illinois at Urbana-Champaign
Year dc:date
2014

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Brewer, Forrest Duane

Subjects

dc:subject × 1

Identifiers

dc:identifier.*
Identifier
(UMI)AAI8823085
OAI identifier oai:identifier
oai:www.ideals.illinois.edu:2142/69593

Chain of custody

source
Harvested from
University of Illinois - Urbana-Champaign
Base URL
www.ideals.illinois.edu/oai-pmh
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
citation

Brewer, Forrest Duane. Constraint Driven Behavioral Synthesis. Dissertation thesis, University of Illinois at Urbana-Champaign, 2014. http://hdl.handle.net/2142/69593