形式化驗證軟件采購 項目所在采購意向： 中國科學院計算技術研究所年至月政府采購意向 采購單位： 中國科學院計算技術研究所 采購項目名稱： 形式化驗證軟件采購 預算金額： .萬元(人民幣) 采購品目： 應用軟件 采購需求概況 ： 形式驗證軟件，支持//等硬件語言，支持波形分析 預計采購時間： - 備注： 該軟件用于對設計進行正式的邏輯驗證，找出設計中的邏輯錯誤，提高設計質(zhì)量。 本次公開的采購意向是本單位政府采購工作的初步安排，具體采購項目情況以相關采購公告和采購文件為準。