<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="http://www.nurvitadhi.com/web/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="http://www.nurvitadhi.com/web/feed.php">
        <title>Eriko Nurvitadhi</title>
        <description></description>
        <link>http://www.nurvitadhi.com/web/</link>
        <image rdf:resource="http://www.nurvitadhi.com/web/lib/images/favicon.ico" />
       <dc:date>2012-01-07T12:47:24-08:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="http://www.nurvitadhi.com/web/doku.php?id=publications&amp;rev=1325694295&amp;do=diff"/>
                <rdf:li rdf:resource="http://www.nurvitadhi.com/web/doku.php?id=home&amp;rev=1325693895&amp;do=diff"/>
                <rdf:li rdf:resource="http://www.nurvitadhi.com/web/doku.php?id=contact&amp;rev=1315915190&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="http://www.nurvitadhi.com/web/lib/images/favicon.ico">
        <title>Eriko Nurvitadhi</title>
        <link>http://www.nurvitadhi.com/web/</link>
        <url>http://www.nurvitadhi.com/web/lib/images/favicon.ico</url>
    </image>
    <item rdf:about="http://www.nurvitadhi.com/web/doku.php?id=publications&amp;rev=1325694295&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-04T08:24:55-08:00</dc:date>
        <dc:creator>Eriko Nurvitadhi</dc:creator>
        <title>publications - created</title>
        <link>http://www.nurvitadhi.com/web/doku.php?id=publications&amp;rev=1325694295&amp;do=diff</link>
        <description>2011

	*  E. Nurvitadhi, J. C. Hoe, T. Kam, S. L. Lu, “Integrating Formal Verification and High-Level Processor Pipeline Synthesis”, Symposium on Application Specific Processors (SASP), June 2011.
	*  E. Nurvitadhi, J. C. Hoe, T. Kam, S. L. Lu, “Automatic Pipelining from Transactional Datapath Specifications”, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), Volume 30, Number 3, March 2011.</description>
    </item>
    <item rdf:about="http://www.nurvitadhi.com/web/doku.php?id=home&amp;rev=1325693895&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-04T08:18:15-08:00</dc:date>
        <dc:creator>Eriko Nurvitadhi</dc:creator>
        <title>home</title>
        <link>http://www.nurvitadhi.com/web/doku.php?id=home&amp;rev=1325693895&amp;do=diff</link>
        <description>Welcome to my website!

I am interested in research, development, and entrepreneurship within the broad area of computer architecture and digital hardware design. My current emphasis are in high-level hardware design abstraction and synthesis, as well as FPGA prototyping and emulation of computer systems.</description>
    </item>
    <item rdf:about="http://www.nurvitadhi.com/web/doku.php?id=contact&amp;rev=1315915190&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2011-09-13T04:59:50-08:00</dc:date>
        <dc:creator>Eriko Nurvitadhi</dc:creator>
        <title>contact</title>
        <link>http://www.nurvitadhi.com/web/doku.php?id=contact&amp;rev=1315915190&amp;do=diff</link>
        <description>E-mail


&lt;eriko.nurvitadhi@gmail.com&gt; (work) 

&lt;eriko@nurvitadhi.com&gt; (personal) 


 

Social Network</description>
    </item>
</rdf:RDF>

