<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="https://www.zbc.uz.zgora.pl/repozytorium/style/common/xsl/oai-style.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" 
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/
         http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
	<responseDate>2026-07-19T16:33:36Z</responseDate>
	<request identifier="oai:zbc.uz.zgora.pl:78641" metadataPrefix="oai_dc" verb="GetRecord">
	https://zbc.uz.zgora.pl/repozytorium/oai-pmh-repository.xml</request>
	<GetRecord>
	
  <record>
	<header>
		<identifier>oai:zbc.uz.zgora.pl:78641</identifier>
	    <datestamp>2025-07-14T12:34:36Z</datestamp>
		  <setSpec>DigitalLibraryZielonaGora</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties:FacultyComputerElectricalControl</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS:AMCS07</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork:Articles</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS</setSpec> 	    </header>
		<metadata>
	<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title xml:lang="pl"><![CDATA[FSM encoding for BDD representations]]></dc:title>
<dc:creator><![CDATA[Gosti, Wilsin]]></dc:creator>
<dc:creator><![CDATA[Villa, Tiziano]]></dc:creator>
<dc:creator><![CDATA[Saldanha, Alex]]></dc:creator>
<dc:creator><![CDATA[Sangiovanni-Vincentelli, Alberto L.]]></dc:creator>
<dc:subject xml:lang="pl"><![CDATA[binary decision diagram]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[encoding]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[finite state machine]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[logic synthesis]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[formal verification]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[logic representation]]></dc:subject>
<dc:description xml:lang="pl"><![CDATA[We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.]]></dc:description>
<dc:publisher><![CDATA[Zielona Góra: Uniwersytet Zielonogórski]]></dc:publisher>
<dc:contributor><![CDATA[Korbicz, Józef (1951- ) - red.]]></dc:contributor>
<dc:date><![CDATA[2007]]></dc:date>
<dc:type xml:lang="pl"><![CDATA[artykuł]]></dc:type>
<dc:identifier><![CDATA[http://www.zbc.uz.zgora.pl/repozytorium/Content/78641/AMCS_2007_17_1_11.pdf]]></dc:identifier>
<dc:identifier><![CDATA[https://zbc.uz.zgora.pl/repozytorium/dlibra/publication/88394/edition/78641/content]]></dc:identifier>
<dc:identifier><![CDATA[oai:zbc.uz.zgora.pl:78641]]></dc:identifier>
<dc:source xml:lang="pl"><![CDATA[AMCS, volume 17, number 1 (2007)]]></dc:source>
<dc:language><![CDATA[eng]]></dc:language>
<dc:relation><![CDATA[oai:zbc.uz.zgora.pl:publication:88394]]></dc:relation>
<dc:rights xml:lang="pl"><![CDATA[Biblioteka Uniwersytetu Zielonogórskiego]]></dc:rights>
</oai_dc:dc>

</metadata>
	  </record>	</GetRecord>
</OAI-PMH>
