<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: Welcome to Trusster 3.0</title>
	<atom:link href="http://www.trusster.com/verification/welcome-to-trusster-3-0/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.trusster.com/verification/welcome-to-trusster-3-0/</link>
	<description>...verify everything...</description>
	<lastBuildDate>Mon, 14 Sep 2009 19:35:44 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.9.2</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: Robert Ekendahl</title>
		<link>http://www.trusster.com/verification/welcome-to-trusster-3-0/comment-page-1/#comment-228</link>
		<dc:creator>Robert Ekendahl</dc:creator>
		<pubDate>Tue, 08 Sep 2009 19:27:37 +0000</pubDate>
		<guid isPermaLink="false">http://beta.trusster.com/?p=1136#comment-228</guid>
		<description>I should have been more explicit in my message. For now we&#039;re revamping the site as it had become unmanageable and neglected. 

We are however working on a SystemC version of Teal and Truss that enabled more efficient verification. We hope it will be available before the end of the year but please contact Mike (mike@trusster.com) if you want to test it sooner.</description>
		<content:encoded><![CDATA[<p>I should have been more explicit in my message. For now we&#8217;re revamping the site as it had become unmanageable and neglected. </p>
<p>We are however working on a SystemC version of Teal and Truss that enabled more efficient verification. We hope it will be available before the end of the year but please contact Mike (mike@trusster.com) if you want to test it sooner.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: luongcongdien</title>
		<link>http://www.trusster.com/verification/welcome-to-trusster-3-0/comment-page-1/#comment-227</link>
		<dc:creator>luongcongdien</dc:creator>
		<pubDate>Mon, 07 Sep 2009 13:58:29 +0000</pubDate>
		<guid isPermaLink="false">http://beta.trusster.com/?p=1136#comment-227</guid>
		<description>How can I download Trusser3.0 code?</description>
		<content:encoded><![CDATA[<p>How can I download Trusser3.0 code?</p>
]]></content:encoded>
	</item>
</channel>
</rss>
