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