Repository logo
 

Frontiers for high-level synthesis of digital circuits

dc.contributor.committeeMemberMcCrosky, Carlen_US
dc.contributor.committeeMemberAbd-El-Barr, Mostafaen_US
dc.creatorGhatraju, Lakshmikanthen_US
dc.date.accessioned2004-10-21T00:01:59Zen_US
dc.date.accessioned2013-01-04T05:02:36Z
dc.date.available1997-01-01T08:00:00Zen_US
dc.date.available2013-01-04T05:02:36Z
dc.date.created1997-01en_US
dc.date.issued1997-01-01en_US
dc.date.submittedJanuary 1997en_US
dc.description.abstractThis thesis presents a novel approach to the synthesis of combinational and sequential digital circuits from recursive behavioral specifications based on the functional programming paradigm. Recursion removal is accomplished by computing the fixpoints of recursion equations. The techniques used for computing the fixpoints are based on domain theory and frontiers algorithms. Two-level combinational logic synthesis is a direct consequence of the application of the frontiers algorithm, which derives a correct sum-of-products expression. Multi-level logic synthesis is based on the iterative approach used for computing the fixpoints. Algorithms for common sub-expression identification and derivation of factored forms are presented. These algorithms rely on the frontiers approach, further strengthening the choice of a semantics-based approach. Sequential circuits are modeled as finite state machines. Sequential circuit synthesis uses the techniques established for combinational logic synthesis to derive the computational elements needed to realize the corresponding finite state machine. A significant advantage of the approach used here is that the structure of recursion in the original specification is immaterial for hardware synthesis, i.e., any recursive function can be synthesized without the use of a stack. Since the techniques used are semantics-based, synthesis from two denotationally equivalent specifications always results in the same two-level hardware.en_US
dc.identifier.urihttp://hdl.handle.net/10388/etd-10212004-000159en_US
dc.language.isoen_USen_US
dc.titleFrontiers for high-level synthesis of digital circuitsen_US
dc.type.genreThesisen_US
dc.type.materialtexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineComputer Scienceen_US
thesis.degree.grantorUniversity of Saskatchewanen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophy (Ph.D.)en_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
nq24073.pdf
Size:
6.59 MB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
905 B
Format:
Plain Text
Description: