Show simple item record

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.identifier.urihttp://hdl.handle.net/10388/etd-10212004-000159en_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.language.isoen_USen_US
dc.titleFrontiers for high-level synthesis of digital circuitsen_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
dc.type.materialtexten_US
dc.type.genreThesisen_US
dc.contributor.committeeMemberMcCrosky, Carlen_US
dc.contributor.committeeMemberAbd-El-Barr, Mostafaen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record