<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[Zzzb_的博客]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/Zzzb_</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; Zzzb_]]></copyright><item><title><![CDATA[SVA断言(三)]]></title><link>https://blog.youkuaiyun.com/Zzzb_/article/details/156269897</link><guid>https://blog.youkuaiyun.com/Zzzb_/article/details/156269897</guid><author>Zzzb_</author><pubDate>Fri, 26 Dec 2025 17:44:44 +0800</pubDate><description><![CDATA[SVA在有限状态机中的应用]]></description><category></category></item><item><title><![CDATA[SVA断言(二)]]></title><link>https://blog.youkuaiyun.com/Zzzb_/article/details/156196673</link><guid>https://blog.youkuaiyun.com/Zzzb_/article/details/156196673</guid><author>Zzzb_</author><pubDate>Wed, 24 Dec 2025 15:00:58 +0800</pubDate><description><![CDATA[SVA模块实例]]></description><category></category></item><item><title><![CDATA[SVA断言(一)]]></title><link>https://blog.youkuaiyun.com/Zzzb_/article/details/156018253</link><guid>https://blog.youkuaiyun.com/Zzzb_/article/details/156018253</guid><author>Zzzb_</author><pubDate>Thu, 18 Dec 2025 20:02:33 +0800</pubDate><description><![CDATA[断言是设计的属性的描述，主要用于验证设计的行为。此外，断言可以用来提供功能覆盖，并标记输入激励，用于验证不符合假设的要求。]]></description><category></category></item></channel></rss>