文章

• Formal驗(yàn)證三要素解析：Input、Object與Output的作用

  Formal三要素：input(輸入) + object(對(duì)象) + output(輸出)。Formal有點(diǎn)像上帝，我們把input和object灌進(jìn)formal，formal會(huì)給出個(gè)output來指示結(jié)果是否正確。 Object：是我們要證明的對(duì)象，通常是DUT； Input：是我們給的輸入，通常是assert和assume，assert是預(yù)期的行為，assume是假定的行為； Output：是

  專芯致志er

  335

  21小時(shí)前

  Debug

正在努力加載...