﻿<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
	<front>
		<journal-meta>
			<journal-id journal-id-type="publisher-id">INFORMATICA</journal-id>
			<journal-title-group>
				<journal-title>Informatica</journal-title>
			</journal-title-group>
			<issn pub-type="epub">1822-8844</issn>
			<issn pub-type="ppub">0868-4952</issn>
			<issn-l>0868-4952</issn-l>
			<publisher>
				<publisher-name>Vilnius University Institute of Mathematics and Informatics</publisher-name>
				<publisher-loc>Akademijos 4, LT-08663 Vilnius, Lithuania</publisher-loc>
			</publisher>
		</journal-meta>
		<article-meta>
			<article-id pub-id-type="publisher-id">INFO580</article-id>
			<article-id pub-id-type="doi">10.15388/Informatica.2005.081</article-id>
			<article-categories>
				<subj-group subj-group-type="heading">
					<subject>Research Article</subject>
				</subj-group>
			</article-categories>
			<title-group>
				<article-title>The Realization-Independent Testing Based on the Black Box Fault Models</article-title>
			</title-group>
			<contrib-group>
				<contrib contrib-type="author">
					<name>
						<surname>Bareiša</surname>
						<given-names>Eduardas</given-names>
					</name>
					<xref ref-type="aff" rid="j_info580_aff_001"/>
				</contrib>
				<contrib contrib-type="author">
					<name>
						<surname>Jusas</surname>
						<given-names>Vacius</given-names>
					</name>
					<xref ref-type="aff" rid="j_info580_aff_001"/>
				</contrib>
				<contrib contrib-type="author">
					<name>
						<surname>Motiejūnas</surname>
						<given-names>Kęstutis</given-names>
					</name>
					<email xlink:href="mailto:kestas@soften.ktu.lt">kestas@soften.ktu.lt</email>
					<xref ref-type="aff" rid="j_info580_aff_001"/>
				</contrib>
				<contrib contrib-type="author">
					<name>
						<surname>Šeinauskas</surname>
						<given-names>Rimantas</given-names>
					</name>
					<xref ref-type="aff" rid="j_info580_aff_001"/>
				</contrib>
				<aff id="j_info580_aff_001">Software Engineering Department, <institution>Kaunas University of Technology</institution>, Studentų 50–406, LT-51368 Kaunas, <country>Lithuania</country>
				</aff>
			</contrib-group>
			<pub-date pub-type="ppub">
				<year>2005</year>
			</pub-date>
			<volume>16</volume>
			<issue>1</issue>
			<fpage>19</fpage>
			<lpage>36</lpage>
			<history>
				<date date-type="received">
					<day>1</day>
					<month>6</month>
					<year>2004</year>
				</date>
			</history>
			<permissions>
				<copyright-statement>© 2005 Institute of Mathematics and Informatics, Vilnius</copyright-statement>
				<copyright-year>2005</copyright-year>
				<license license-type="open-access" xlink:href="http://creativecommons.org/licenses/by/4.0/">
					<license-p>Open access article under the <ext-link ext-link-type="uri" xlink:href="http://creativecommons.org/licenses/by/4.0/">CC BY</ext-link> license.</license-p>
				</license>
			</permissions>
			<abstract>
				<p>The design complexity of systems on a chip drives the need to reuse legacy or intellectual property cores, whose gate-level implementation details are unavailable. In this paper we consider the realization-independent testing and the impact of circuit realization on the fault coverage. We investigated two fault models (input-output pin pair fault and input-input-output pin triplet fault) that are used by test generation for circuits described at system description level. The test generation on the system-level model is preferable if the efforts and the duration of the test supplement activities are less than the efforts and the duration of the test generation on gate-level model. The test set for the black-box model is larger as compared to the test set for the particular realization of the circuit. However, large test sets for the black-box model can be compacted by analysis not only according to the stuck-at faults, but also according to various defects for the particular realization.</p>
			</abstract>
			<kwd-group>
				<label>Key words</label>
				<kwd>digital circuits</kwd>
				<kwd>realization-independent testing</kwd>
				<kwd>fault models</kwd>
			</kwd-group>
		</article-meta>
	</front>
</article>