Mostrar registro simples

dc.contributor.advisorNão disponívelpt_BR
dc.contributor.authorWeber, Raul Fernandopt_BR
dc.date.accessioned2009-12-12T04:15:06Zpt_BR
dc.date.issued1986pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/17851pt_BR
dc.description.abstractVerhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.de
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isodeupt_BR
dc.rightsOpen Accessen
dc.subjectEletrônicapt_BR
dc.subjectSistemas digitaispt_BR
dc.subjectLinguagens : Descricao : Hardwarept_BR
dc.subjectTestes : Sistemas digitaispt_BR
dc.titleEin testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebenept_BR
dc.typeTesept_BR
dc.identifier.nrb000103982pt_BR
dc.degree.grantorUniversitat Karlsruhept_BR
dc.degree.departmentFakultat fur Informatikpt_BR
dc.degree.localkarlsruhe, rfapt_BR
dc.degree.date1986pt_BR
dc.degree.leveldoutoradopt_BR


Thumbnail
   

Este item está licenciado na Creative Commons License

Mostrar registro simples