<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="http://www.ocoudert.com/blog/wp-content/plugins/google-sitemap-generator/sitemap.xsl"?><!-- generator="wordpress/2.9.2" -->
<!-- sitemap-generator-url="http://www.arnebrachhold.de" sitemap-generator-version="3.2.2" -->
<!-- generated-on="February 27, 2010 1:41 am" -->
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">	<url>
		<loc>http://www.ocoudert.com/blog/</loc>
		<lastmod>2010-02-23T17:44:56+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>1.0</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/about-me/online-publications/</loc>
		<lastmod>2010-02-27T01:41:36+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.6</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/02/23/so-will-buzz-and-facebook-finally-bury-twitter/</loc>
		<lastmod>2010-02-23T17:44:56+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/01/24/has-formal-verification-technology-stalled/</loc>
		<lastmod>2010-02-22T20:07:34+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/02/21/formal-verification-stalling-take-two/</loc>
		<lastmod>2010-02-22T16:19:33+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/01/19/twitter-and-snowflakes/</loc>
		<lastmod>2010-02-08T09:57:28+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/01/14/did-you-feel-the-tremor/</loc>
		<lastmod>2010-01-30T11:45:38+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/publications/</loc>
		<lastmod>2010-01-25T19:38:07+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.6</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/about-me/</loc>
		<lastmod>2010-01-25T19:35:24+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.6</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/19/the-formal-verification-market-is-still-untapped/</loc>
		<lastmod>2010-01-25T02:28:19+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/09/14/why-starting-a-blog-in-the-first-place/</loc>
		<lastmod>2010-01-24T23:46:15+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/09/15/why-fpga-startups-keep-failing/</loc>
		<lastmod>2010-01-24T23:44:20+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/09/20/software-outsourcing-a-necessary-evil/</loc>
		<lastmod>2010-01-24T23:42:34+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/09/30/how-twitter-is-changing-access-to-information/</loc>
		<lastmod>2010-01-24T23:38:45+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/05/dilbert-made-my-day/</loc>
		<lastmod>2010-01-24T23:36:58+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/06/automated-low-power-design-flow-is-up-for-grabs-part-ii/</loc>
		<lastmod>2010-01-24T23:36:09+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/05/automated-low-power-design-flow-is-up-for-grab-part-i/</loc>
		<lastmod>2010-01-24T23:35:31+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/08/api-design-101/</loc>
		<lastmod>2010-01-24T23:30:25+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/13/test-driven-design/</loc>
		<lastmod>2010-01-24T23:27:03+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/18/what-to-see-at-the-techcrunch-munich-event/</loc>
		<lastmod>2010-01-24T23:19:33+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/20/what-was-hot-at-the-techcrunch-munich-event/</loc>
		<lastmod>2010-01-24T23:18:37+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/30/how-can-xilinx-improve-its-bottom-line/</loc>
		<lastmod>2010-01-24T23:17:00+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/11/01/what-is-twitter%e2%80%99s-next-step/</loc>
		<lastmod>2010-01-24T23:15:36+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/11/24/twitter-sure-is-a-rollercoaster-but-going-up-or-down/</loc>
		<lastmod>2010-01-24T23:14:50+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/11/06/what-eda-needs-to-change-for-2020-success/</loc>
		<lastmod>2010-01-24T23:13:34+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/12/02/the-truth-about-twitter-usage/</loc>
		<lastmod>2010-01-24T23:10:13+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/12/11/why-service-companies-will-eat-up-eda/</loc>
		<lastmod>2010-01-24T23:08:00+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/12/29/end-of-the-year-reflection-what-is-it-to-blog-in-eda/</loc>
		<lastmod>2010-01-24T23:06:04+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2010/01/12/is-twitter-flattening-a-short-answer/</loc>
		<lastmod>2010-01-24T23:00:37+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/2009/10/15/what-to-read-in-xilinx%e2%80%99-and-altera%e2%80%99s-third-quarter-results/</loc>
		<lastmod>2010-01-23T22:58:04+00:00</lastmod>
		<changefreq>daily</changefreq>
		<priority>0.5</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/blog/about-me/travel-maps-and-pictures/</loc>
		<lastmod>2009-10-11T16:23:58+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.6</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/index.html</loc>
		<lastmod>2010-01-10T00:00:00+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>1.0</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/twitter.html</loc>
		<lastmod>2010-01-10T00:00:00+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.2</priority>
	</url>
	<url>
		<loc>http://www.ocoudert.com/</loc>
		<lastmod>2010-01-24T00:00:00+00:00</lastmod>
		<changefreq>weekly</changefreq>
		<priority>0.3</priority>
	</url>
</urlset>