印度技術學院(IIT)的五位研究人員近提出一種形式特性驗證(FPV)的新方法。他們建議以直觀的方式針對形式分析編寫明確的測試方案。這些研究人員提出的方法還包含特性測試方案覆蓋(test plan coverage by properties)的觀念，以及識別測試方案的哪一部分被形式特性所覆蓋的方法。研究人員表示：“我們相信，我們的方法將通過削減測試計劃而縮短設計驗證時間，有助于顯著減少仿真費用。”

    傳統的形式驗證方法嘗試按照形式規范，采用諸如模型校驗的技術驗證給定的RTL實現。但純粹的驗證形式方法還仍然沒有被設計流程所接納。微架構編寫設計的測試方案，這種結構化的方式用于檢查設計在不同的時間點是否滿足特性，并且在不同的輸入序列下是否符合協議要求。但目前仍沒有正式的明確的方式來編寫測試方案，因此，設計師難以發現測試方案的哪一部分被形式特性驗證(FPV)的結果所覆蓋。

    IIT的研究人員提出的測試方案可由FPV所覆蓋。所提出的語法結構稱為測試方案描述語言Test Plan Description Language(TDPL)。該語言的核心部分是使用簡單的語法。

    據研究人員發布的論文稱，“在FPV中，由于缺乏足夠的行為覆蓋準則，設計人員并不明確知道FPV是否覆蓋了測試計劃中涉及的所有情形。”而他們則在論文中提出了構建測試計劃的初步設想，并指出了測試計劃中的部分內容如何使用FPV進行覆蓋。研究人員建議，應該與設計架構師協同工作，共同改進編寫測試計劃的語法。他們稱，采用ARM AMBA APB協議的一個具體案例實施效果良好。