<![CDATA[TB-Blog - TechBites]]> http://www.techbites.com/ 2421-560 <![CDATA[ITRS Roadmap and Formal Verification: Jasper Design: ITS Roadmap and formal - spreading the technology via classes]]> /201003252421/myblog/blog/z000e-itrs-roadmap-and-formal-verification-jasper-design.html Fri, 02 Apr 2010 17:39:04 -0500