項(xiàng)目管理的內(nèi)容不外乎計(jì)劃和執(zhí)行，如果每個人都對其驗(yàn)證項(xiàng)目進(jìn)行了良好的計(jì)劃，那么為什么還會存在質(zhì)量問題和進(jìn)度落后的情況？一份的計(jì)劃中應(yīng)包含用可度量指標(biāo)描述的詳細(xì)目標(biāo)、的資源利用和現(xiàn)實(shí)的進(jìn)度估計(jì)。

在管理者及其團(tuán)隊(duì)制定計(jì)劃時(shí)，他們通常都沒能觸及那些導(dǎo)致進(jìn)度滯后、資源生產(chǎn)率低和產(chǎn)品質(zhì)量不佳的常見問題。大部分驗(yàn)證計(jì)劃都只注重任務(wù)性能而不是怎樣定義驗(yàn)證問題，這與解決方案無關(guān)。
這就幾乎必然導(dǎo)致驗(yàn)證過程存在漏洞，使得設(shè)計(jì)缺陷(bug)被忽略，而要修復(fù)這些缺陷又會導(dǎo)致進(jìn)度推遲，或者導(dǎo)致嚴(yán)重的資源緊張和效率低下。但我們只要對計(jì)劃稍加改進(jìn)，就能避免這些問題，收到事半功倍的效果。
為什么說驗(yàn)證計(jì)劃并不完整
由于時(shí)間壓力過大，大多數(shù)驗(yàn)證團(tuán)隊(duì)都沒有進(jìn)行全面的驗(yàn)證計(jì)劃，而是跳過這一步，直接進(jìn)入設(shè)計(jì)前的驗(yàn)證環(huán)境開發(fā)過程。這樣使計(jì)劃一成不變的，或者毫無靈活性可言，這樣的計(jì)劃幾乎沒有用處，因?yàn)樗c實(shí)際項(xiàng)目之間的聯(lián)系很難維持。換言之，這樣的驗(yàn)證計(jì)劃根本不成其為一個計(jì)劃，充其量它只是一組不完整的討論筆記。隨著項(xiàng)目推進(jìn)，團(tuán)隊(duì)開始工作并認(rèn)識到他們應(yīng)該實(shí)現(xiàn)怎樣的目標(biāo)，這樣的計(jì)劃終會一無是處。
上面的問題的解決辦法是必須使驗(yàn)證計(jì)劃成為驗(yàn)證過程本身的一個可以執(zhí)行的部分。當(dāng)驗(yàn)證過程自動化工具讀取驗(yàn)證計(jì)劃，驗(yàn)證計(jì)劃變得可執(zhí)行。這種方法可用來組織和生成項(xiàng)目狀態(tài)，并成為分析數(shù)據(jù)以決定下一步行動的基礎(chǔ)。
這樣一來，計(jì)劃的價(jià)值就得到了化，它在項(xiàng)目的整個周期過程中都將充當(dāng)驗(yàn)證過程的開始和檢驗(yàn)標(biāo)準(zhǔn)的角色。通過用驗(yàn)證計(jì)劃來自動測試驗(yàn)證過程的完整性，能夠直接增大開發(fā)和維護(hù)它的投資回報(bào)。這樣，當(dāng)項(xiàng)目中必須進(jìn)行改動時(shí)，這些改動就會被更新了的可執(zhí)行的驗(yàn)證計(jì)劃記錄、跟蹤并測試，從而使驗(yàn)證計(jì)劃從規(guī)范定義到結(jié)束，一直是驗(yàn)證項(xiàng)目的一個有價(jià)值的部分。
只要將計(jì)劃做得更好，并使用可執(zhí)行的計(jì)劃來測試項(xiàng)目的完整性，就能提高項(xiàng)目質(zhì)量，增加項(xiàng)目進(jìn)度的可預(yù)見性，并改善資源生產(chǎn)效率。換言之，有了更好的計(jì)劃，驗(yàn)證團(tuán)隊(duì)就更容易得到他們需要的結(jié)果。
在整個項(xiàng)目過程中使用計(jì)劃能夠幫助更早發(fā)現(xiàn)問題，而這正是保持項(xiàng)目進(jìn)度的關(guān)鍵之一。同時(shí)，根據(jù)計(jì)劃的標(biāo)準(zhǔn)來跟蹤項(xiàng)目進(jìn)展也能使團(tuán)隊(duì)中的所有成員更好地進(jìn)行自我管理，從而提高生產(chǎn)效率。
怎樣的計(jì)劃才算一個好計(jì)劃？
驗(yàn)證計(jì)劃必須從注重“怎樣驗(yàn)證”轉(zhuǎn)向到“驗(yàn)證什么”。通過確定什么是需要驗(yàn)證的這個重要目標(biāo)，驗(yàn)證團(tuán)隊(duì)就能保證計(jì)劃的完整性和平衡性。這時(shí)，驗(yàn)證計(jì)劃就不僅僅是怎樣完成驗(yàn)證的工程規(guī)范了。
a. 驗(yàn)證計(jì)劃的基礎(chǔ)知識
從過程的來看，驗(yàn)證計(jì)劃其實(shí)十分簡單，其基本步驟包括：
1． 分析器件規(guī)范
2． 界定(scoping)驗(yàn)證目標(biāo)
3． 確定設(shè)計(jì)的特征集
4． 設(shè)計(jì)詳細(xì)的覆蓋(coverage)模型
5． 選用集合的衡量標(biāo)準(zhǔn)(aggregate metrics)跟蹤驗(yàn)證進(jìn)展
6． 根據(jù)過去的度量標(biāo)準(zhǔn)估計(jì)工作和進(jìn)度
通常，團(tuán)隊(duì)帶頭人傾向于按照這個程序來進(jìn)行驗(yàn)證計(jì)劃，但他們每一步都至少會遺漏一個關(guān)鍵方面，通過這種投機(jī)取巧的方式節(jié)省時(shí)間，將項(xiàng)目拿來作賭注 。結(jié)果，輸?shù)耐撬麄儭?
b. 分析器件規(guī)范
所有的項(xiàng)目總是從幾種規(guī)范開始。市場行銷過程能夠幫助了解用戶需求，管理的過程定義資源和進(jìn)度以及自己構(gòu)建相對于購買的制約；再由系統(tǒng)工程師和軟、硬件工程師以及驗(yàn)證團(tuán)隊(duì)分別制定驗(yàn)證實(shí)現(xiàn)規(guī)范，以該規(guī)范引導(dǎo)項(xiàng)目進(jìn)行。
對一個項(xiàng)目而言，的風(fēng)險(xiǎn)是無法預(yù)見變動的目標(biāo)。有些團(tuán)隊(duì)會試圖在一開始就找出所有的需求，然后順序地完成整個項(xiàng)目。這種方法有時(shí)也叫瀑布方法(waterfall method)。事實(shí)上這個過程中常常出現(xiàn)反覆，而項(xiàng)目的風(fēng)險(xiǎn)就在于無法充分預(yù)計(jì)反覆的影響以及控制反覆出現(xiàn)的頻率及其給項(xiàng)目增加的負(fù)擔(dān)。
c. 界定驗(yàn)證目標(biāo)
在項(xiàng)目驗(yàn)證目標(biāo)的界定階段常見的問題就是沒能與所有相關(guān)人員進(jìn)行廣泛的驗(yàn)證討論。而驗(yàn)證目標(biāo)的界定和建檔是鑒定項(xiàng)目規(guī)范是否考慮周全以及是否能被充分理解的方法。
在項(xiàng)目開始之后再去計(jì)劃一個驗(yàn)證項(xiàng)目的細(xì)節(jié)將十分低效并難以預(yù)計(jì)后果。管理層必須在前期就投入足夠的時(shí)間去制定準(zhǔn)確和完善的驗(yàn)證目標(biāo)。需求的擴(kuò)展變化是另一個問題，將在下節(jié)討論。
所有可能涉及到的人員都必須參與制定驗(yàn)證目標(biāo)，他們包括管理層、市場人員、系統(tǒng)設(shè)計(jì)師、硬件設(shè)計(jì)師、軟件設(shè)計(jì)師和驗(yàn)證團(tuán)隊(duì)。因?yàn)橹挥姓麄€團(tuán)隊(duì)都參與對話，才可能明確整個項(xiàng)目的需求。市場需求永遠(yuǎn)不可能完全，因?yàn)檫@些市場需求只解決市場關(guān)鍵因素。
從定義上講，管理資源和項(xiàng)目進(jìn)度約束往往具有一定沖突，隨著項(xiàng)目目標(biāo)的全面界定，必須緩和這二者之間的矛盾。系統(tǒng)工程師應(yīng)該提出與市場需求貼近的技術(shù)觀點(diǎn)，軟、硬件工程師也應(yīng)為項(xiàng)目實(shí)現(xiàn)的關(guān)聯(lián)性提出有價(jià)值的見解。
驗(yàn)證團(tuán)隊(duì)是整個討論小組的，正是他們不斷地挑戰(zhàn)項(xiàng)目組的其他成員，讓他們看到并彌補(bǔ)項(xiàng)目的缺陷，同時(shí)還要讓他們認(rèn)清哪些特征是無法驗(yàn)證的，這正是面向驗(yàn)證的設(shè)計(jì)所需達(dá)到的關(guān)鍵目標(biāo)。如果遺漏了其中任何一點(diǎn)，那么項(xiàng)目中就仍存在漏洞和風(fēng)險(xiǎn)，從而不可避免地導(dǎo)致產(chǎn)品質(zhì)量問題、成本過高或者進(jìn)度滯后。
d. 確定設(shè)計(jì)的特性集
高超的測試技術(shù)已經(jīng)成為驗(yàn)證中難以掌握的一個部分，衡量標(biāo)準(zhǔn)則是度量驗(yàn)證過程的一種方式。一直以來，工程師都通過設(shè)計(jì)測試軟件、實(shí)現(xiàn)檢驗(yàn)器(checker)并利用代碼覆蓋檢查工具來進(jìn)行驗(yàn)證。測試列表作為一種度量標(biāo)準(zhǔn)已經(jīng)廢棄不用了，因?yàn)檫@種標(biāo)準(zhǔn)在規(guī)定和實(shí)現(xiàn)上太過繁復(fù)。
有些時(shí)候，定向測試軟件比較容易設(shè)計(jì)，但它們無法滿足現(xiàn)代系統(tǒng)級芯片這樣規(guī)模的測試要求。檢驗(yàn)器并不適合用做度量標(biāo)準(zhǔn)，因?yàn)樗鼈冎粰z查錯誤的系統(tǒng)行為而不記錄已經(jīng)觀察到的好的行為。而且，代碼覆蓋與行為的關(guān)系也很松散，因?yàn)槊恳恍写a的器件的前后環(huán)境條件(context)都沒有記錄。
業(yè)界的電子開發(fā)團(tuán)隊(duì)都認(rèn)為功能覆蓋是驗(yàn)證的準(zhǔn)確的度量標(biāo)準(zhǔn)。功能覆蓋是覆蓋驅(qū)動驗(yàn)證法(CDV)的一部分，采用這種方法，開發(fā)小組能測量出他們實(shí)際已經(jīng)完成了多少驗(yàn)證工作，而不是已經(jīng)執(zhí)行了多少次(大部分是多余的)仿真周期。
功能覆蓋的語言規(guī)范被設(shè)計(jì)成和界定過程中得到的需求規(guī)范相匹配，覆蓋規(guī)范中的斷言語言也可用于捕捉實(shí)現(xiàn)的假設(shè)，這是基于斷言的驗(yàn)證(ABV)的一部分。
全部覆蓋是完全了解一個項(xiàng)目狀態(tài)的方法，而功能覆蓋則與設(shè)計(jì)特性直接相關(guān)。斷言覆蓋與功能覆蓋以及實(shí)現(xiàn)完整性都有關(guān)系，硬件和軟件代碼覆蓋可以讓我們知道設(shè)計(jì)完成得怎樣。
e. 設(shè)計(jì)詳細(xì)的覆蓋模型
界定過程的結(jié)果是得到一系列需要驗(yàn)證的特性，而規(guī)范必須對這些特性加以描述以便度量，覆蓋則用來定義驗(yàn)證的度量標(biāo)準(zhǔn)。界定的結(jié)果是產(chǎn)生兩種類型的度量標(biāo)準(zhǔn)：明確的規(guī)范度量標(biāo)準(zhǔn)和明確的實(shí)現(xiàn)度量標(biāo)準(zhǔn)。明確的規(guī)范標(biāo)準(zhǔn)由工程師從規(guī)范中選取，明確的實(shí)現(xiàn)標(biāo)準(zhǔn)則當(dāng)RTL可用后，工程師從RTL實(shí)現(xiàn)中選擇。
計(jì)劃階段出現(xiàn)的典型疏忽是對覆蓋模型缺乏仔細(xì)研究。覆蓋模型必需足夠完整以代表需要驗(yàn)證的所有特性，同時(shí)它也必須足夠簡練，這樣開發(fā)小組和驗(yàn)證工具才能在給定的時(shí)間段內(nèi)完成任務(wù)。這樣的判斷十分關(guān)鍵，因?yàn)?00%地驗(yàn)證絕大部分關(guān)鍵功能比在很詳細(xì)的覆蓋模型中缺失關(guān)鍵功能要好得多。
f. 選用集合法來跟蹤驗(yàn)證過程
所謂管理，不外乎計(jì)劃和執(zhí)行，而跟蹤項(xiàng)目進(jìn)度是能夠知道項(xiàng)目團(tuán)隊(duì)是否在執(zhí)行的方法。問題是怎樣才能選到能夠代表項(xiàng)目進(jìn)度并能揭示項(xiàng)目中存在的問題和風(fēng)險(xiǎn)的少量衡量標(biāo)準(zhǔn)？
通常，項(xiàng)目團(tuán)隊(duì)會定義一些重要階段(milestone)來大致勾畫出項(xiàng)目進(jìn)展情況。要想盡量提高項(xiàng)目團(tuán)隊(duì)的效率，在計(jì)劃這些重要階段時(shí)應(yīng)注意，這些重要階段必須能推進(jìn)項(xiàng)目中費(fèi)時(shí)或者風(fēng)險(xiǎn)的部分向前發(fā)展。然而，僅僅驗(yàn)證某個特定的特性已經(jīng)無法滿足要求了。
越來越多的團(tuán)隊(duì)定義能暴露可能出現(xiàn)的系統(tǒng)集成問題的重要階段。他們提供正確的功能性模塊的子集以便能進(jìn)行早期系統(tǒng)驗(yàn)證，這就要求詳細(xì)定義一些特性，這些特性在每個重要階段中都必須出現(xiàn)。
利用覆蓋來定義這些特性，并對具備系統(tǒng)某部分特性的重要階段進(jìn)行仔細(xì)的定義和跟蹤。這樣一來，項(xiàng)目重要階段不再僅僅是在進(jìn)度表中標(biāo)出一塊作為階段完成的標(biāo)志，它具備了更重要的意義，那就是切實(shí)降低項(xiàng)目的質(zhì)量和進(jìn)度風(fēng)險(xiǎn)。
還有一些人工跟蹤的重要階段，其中包括首次工作仿真，以及覆蓋模型的生成、檢查和完成。這兩個重要階段也叫做實(shí)現(xiàn)跟蹤，預(yù)期和完成這兩個重要階段往往會使次采用覆蓋驅(qū)動驗(yàn)證的團(tuán)無所適從。一種可執(zhí)行的驗(yàn)證計(jì)劃就能為他們分別規(guī)定好條件，從而改善這一項(xiàng)目早期關(guān)鍵階段的可預(yù)測性。
g. 采用過去的衡量標(biāo)準(zhǔn)估計(jì)進(jìn)度
創(chuàng)建工程進(jìn)度表是一種藝術(shù)，它反映了負(fù)責(zé)項(xiàng)目計(jì)劃的團(tuán)隊(duì)經(jīng)驗(yàn)是否豐富，也會讓他們想起過去在類似的任務(wù)上花費(fèi)的時(shí)間長短。在功能驗(yàn)證中使用的標(biāo)準(zhǔn)越多，進(jìn)度估計(jì)就越成其為一種工程藝術(shù)，它使驗(yàn)證過程是可見的。而問題是過去很少有團(tuán)隊(duì)能夠得到這些標(biāo)準(zhǔn)，也很少有團(tuán)隊(duì)在創(chuàng)建一個能量化和估計(jì)項(xiàng)目進(jìn)度的模型上投入。我們的客戶中有一些富有經(jīng)驗(yàn)的客戶除了覆蓋標(biāo)準(zhǔn)以外還在跟蹤更多的標(biāo)準(zhǔn)，力圖進(jìn)一步提高其進(jìn)度估計(jì)的程度。
他們跟蹤的這些標(biāo)準(zhǔn)用于在設(shè)計(jì)和驗(yàn)證環(huán)境中測量實(shí)現(xiàn)、調(diào)試和集成每IP及其提取所花費(fèi)的時(shí)間，不同大小的IP配以不同的數(shù)據(jù)點(diǎn)(data point)。他們還要估計(jì)開發(fā)新IP相對于重用舊IP所造成的不同影響，項(xiàng)目團(tuán)隊(duì)的工程經(jīng)驗(yàn)和工程技能對項(xiàng)目的影響，以及自動化驗(yàn)證過程與人工驗(yàn)證管理之間怎樣權(quán)衡。他們不但要考察硬件和軟件，還要考察模塊、芯片以及系統(tǒng)級的問題。
如果沒有實(shí)際的歷史度量標(biāo)準(zhǔn)，那么項(xiàng)目團(tuán)隊(duì)可以通過估計(jì)得到這些標(biāo)準(zhǔn)。但今天的進(jìn)度表往往是對任務(wù)的估計(jì)，而不是對度量標(biāo)準(zhǔn)的估計(jì)。項(xiàng)目團(tuán)隊(duì)通過將這種估計(jì)細(xì)分為更多詳細(xì)的級別，能夠發(fā)現(xiàn)他們的論證中的假定成分。此外，他們還會針對每個工作人員怎樣完成其工作給出詳細(xì)的細(xì)節(jié)。
這樣我們就能構(gòu)建出一個模型或等式，它利用歷史度量標(biāo)準(zhǔn)，輔以現(xiàn)有的項(xiàng)目估計(jì)，創(chuàng)建詳細(xì)的項(xiàng)目進(jìn)度表。然后再考慮這些估計(jì)以及模型本身的程度，并且根據(jù)進(jìn)度估計(jì)許下項(xiàng)目進(jìn)度的承諾。采用合適的自動化工具，項(xiàng)目團(tuán)隊(duì)就能將這些估計(jì)與整個項(xiàng)目、任務(wù)以及詳細(xì)的標(biāo)準(zhǔn)進(jìn)行比較，并從中吸取經(jīng)驗(yàn)以利于下一個項(xiàng)目的計(jì)劃。
需求改變
每個工程師都知道，需求總是在變化的，即使推遲計(jì)劃也不會改變這一事實(shí)。許多電子產(chǎn)品所服務(wù)的用戶市場與季節(jié)的關(guān)系比與項(xiàng)目結(jié)束時(shí)間的關(guān)系更加密切。管理人員一直都在尋求方法，企圖控制變化過程，使項(xiàng)目更具有可預(yù)測性。關(guān)鍵問題是“我們晚能在什么時(shí)候才引入變化，并按進(jìn)度發(fā)布一款高質(zhì)量的產(chǎn)品呢？”。
在從規(guī)范制定到項(xiàng)目結(jié)束階段一直對驗(yàn)證起推動和管理作用的自動化機(jī)制中，歷史驗(yàn)證計(jì)劃是一個關(guān)鍵部分。自動化驗(yàn)證機(jī)制中包括：
1. 可執(zhí)行的驗(yàn)證計(jì)劃
2. 用于測量驗(yàn)證進(jìn)度的覆蓋和斷言
3. 用于檢測和匯報(bào)違規(guī)規(guī)范的檢驗(yàn)器和斷言
4. 激勵產(chǎn)生(Stimulus generation)
進(jìn)行更好的驗(yàn)證計(jì)劃并采用可執(zhí)行的驗(yàn)證計(jì)劃能夠帶來以下幾點(diǎn)好處。
1. 提高產(chǎn)品質(zhì)量
顯而易見，好的計(jì)劃會促成高質(zhì)量的產(chǎn)品。每一個接受我們的幫助改善了其驗(yàn)證計(jì)劃的客戶，在這個過程之后都發(fā)現(xiàn)了他們的問題。即使對那些進(jìn)展順利的項(xiàng)目而言，進(jìn)行嚴(yán)格的驗(yàn)證計(jì)劃，其價(jià)值也是顯而易見的。有時(shí)，驗(yàn)證計(jì)劃的價(jià)值就在于它為計(jì)劃創(chuàng)建了一個通用的流程和術(shù)語。
2. 提高項(xiàng)目進(jìn)度的可預(yù)見性
更的工作估計(jì)以及更早發(fā)現(xiàn)項(xiàng)目與計(jì)劃的偏差增強(qiáng)項(xiàng)目進(jìn)度的可預(yù)見性。同時(shí)，詳細(xì)設(shè)定重要階段也能幫助更早發(fā)現(xiàn)項(xiàng)目中的關(guān)鍵問題，從而使驗(yàn)證團(tuán)隊(duì)有機(jī)會在項(xiàng)目的正常過程中成功地應(yīng)對這些挑戰(zhàn)。
3. 提高團(tuán)隊(duì)效率
一個可執(zhí)行的驗(yàn)證計(jì)劃既能幫助一個團(tuán)隊(duì)更有效地交流，也能幫助他們更輕松地將工作重點(diǎn)放在項(xiàng)目的關(guān)鍵因素上。而標(biāo)準(zhǔn)匯報(bào)方式也增加了團(tuán)隊(duì)的工作效率和管理層的管理效率，使資源能集中應(yīng)用在關(guān)鍵的任務(wù)上。