Ingredients for Successful System Level Automation & Design Methodology

Simple item page
dc.contributor.authorPatel, Hiren Dhanjien
dc.contributor.committeechairShukla, Sandeep K.en
dc.contributor.committeememberBaumann, William T.en
dc.contributor.committeememberEdwards, Stephen H.en
dc.contributor.committeememberHa, Dong Samen
dc.contributor.committeememberHsiao, Michael S.en
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2014-03-14T20:09:31Zen
dc.date.adate2007-05-03en
dc.date.available2014-03-14T20:09:31Zen
dc.date.issued2007-04-06en
dc.date.rdate2007-05-03en
dc.date.sdate2007-04-13en
dc.description.abstractThis dissertation addresses the problem of making system level design (SLD) methodology based on SystemC more useful to the complex embedded system design community by presenting a number of ingredients currently absent in the existing SLD methodologies and frameworks. The complexity of embedded systems have been increasing at a rapid rate due to proliferation of desired functionality of such systems (e.g., cell phones, game consoles, hand-held devices, etc., are providing more features every few months), and the device technology still riding the curve predicted by Moore's law. Design methodology is shifting slowly towards system level design (also called electronic system level (ESL)). A number of SLD languages and supporting frameworks are being proposed. SystemC is positioned as being one of the dominant SLD languages. The various design automation tool vendors are proposing frameworks for supporting SystemC-based design methodologies. We believe that compared to the necessity and potential of ESL, the success of the frameworks have been limited due to lack of support for a number of facilities and features in the languages and tool environments. This dissertation proposes, formulates, and provides proof of concept demonstrations of a number of ingredients that we have identified as essential for efficient and productive use of SystemC-based tools and techniques. These are heterogeneity in the form of multiple models of computation, behavioral hierarchy in addition to structural hierarchy, model-driven validation for SystemC designs and a service-oriented tool integration environment. In particular, we define syntactic extensions to the SystemC language, semantic modifications, and simulation algorithms, precise semantics for model based validation etc. For each of these we provide reference implementation for further experimentation on the utility of these extensions.en
dc.description.degreePh. D.en
dc.identifier.otheretd-04132007-000600en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-04132007-000600/en
dc.identifier.urihttp://hdl.handle.net/10919/26825en
dc.publisherVirginia Techen
dc.relation.hasparthpatel_etd2.pdfen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectAbstract State Machinesen
dc.subjectBehavioral Hierarchyen
dc.subjectValidationen
dc.subjectHeterogeneityen
dc.subjectModels of Computationen
dc.titleIngredients for Successful System Level Automation & Design Methodologyen
dc.typeDissertationen
thesis.degree.disciplineElectrical and Computer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
hpatel_etd2.pdf
Size:
3.74 MB
Format:
Adobe Portable Document Format
Download

Collections

Doctoral Dissertations