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

    
               圖1：驗(yàn)證項(xiàng)目中期望效率與實(shí)際效率的差距。 
  
    
                     圖2：驗(yàn)證團(tuán)隊(duì)計(jì)劃制定流程圖。 
     
                     圖3：可執(zhí)行的計(jì)劃推動(dòng)驗(yàn)證進(jìn)程。 

     在管理者及其團(tuán)隊(duì)制定計(jì)劃時(shí)，他們通常都沒(méi)能觸及那些導(dǎo)致進(jìn)度滯后、資源生產(chǎn)率低和產(chǎn)品質(zhì)量不佳的常見(jiàn)問(wèn)題。大部分驗(yàn)證計(jì)劃都只注重任務(wù)性能而不是怎樣定義驗(yàn)證問(wèn)題，這與解決方案無(wú)關(guān)。  

     這就幾乎必然導(dǎo)致驗(yàn)證過(guò)程存在漏洞，使得設(shè)計(jì)缺陷(bug)被忽略，而要修復(fù)這些缺陷又會(huì)導(dǎo)致進(jìn)度推遲，或者導(dǎo)致嚴(yán)重的資源緊張和效率低下。但我們只要對(duì)計(jì)劃稍加改進(jìn)，就能避免這些問(wèn)題，收到事半功倍的效果。  

     為什么說(shuō)驗(yàn)證計(jì)劃并不完整  

     由于時(shí)間壓力過(guò)大，大多數(shù)驗(yàn)證團(tuán)隊(duì)都沒(méi)有進(jìn)行全面的驗(yàn)證計(jì)劃，而是跳過(guò)這一步，直接進(jìn)入設(shè)計(jì)前的驗(yàn)證環(huán)境開發(fā)過(guò)程。這樣使計(jì)劃一成不變的，或者毫無(wú)靈活性可言，這樣的計(jì)劃幾乎沒(méi)有用處，因?yàn)樗c實(shí)際項(xiàng)目之間的聯(lián)系很難維持。換言之，這樣的驗(yàn)證計(jì)劃根本不成其為一個(gè)計(jì)劃，充其量它只是一組不完整的討論筆記。隨著項(xiàng)目推進(jìn)，團(tuán)隊(duì)開始工作并認(rèn)識(shí)到他們應(yīng)該實(shí)現(xiàn)怎樣的目標(biāo)，這樣的計(jì)劃終會(huì)一無(wú)是處。  

     上面的問(wèn)題的解決辦法是必須使驗(yàn)證計(jì)劃成為驗(yàn)證過(guò)程本身的一個(gè)可以執(zhí)行的部分。當(dāng)驗(yàn)證過(guò)程自動(dòng)化工具讀取驗(yàn)證計(jì)劃，驗(yàn)證計(jì)劃變得可執(zhí)行。這種方法可用來(lái)組織和生成項(xiàng)目狀態(tài)報(bào)告，并成為分析數(shù)據(jù)以決定下一步行動(dòng)的基礎(chǔ)。  

     這樣一來(lái)，計(jì)劃的價(jià)值就得到了最大化，它在項(xiàng)目的整個(gè)周期過(guò)程中都將充當(dāng)驗(yàn)證過(guò)程的開始和檢驗(yàn)標(biāo)準(zhǔn)的角色。通過(guò)用驗(yàn)證計(jì)劃來(lái)自動(dòng)測(cè)試驗(yàn)證過(guò)程的完整性，能夠直接增大開發(fā)和維護(hù)它的投資回報(bào)。這樣，當(dāng)項(xiàng)目中必須進(jìn)行改動(dòng)時(shí)，這些改動(dòng)就會(huì)被更新了的可執(zhí)行的驗(yàn)證計(jì)劃記錄、跟蹤并測(cè)試，從而使驗(yàn)證計(jì)劃從規(guī)范定義到結(jié)束，一直是驗(yàn)證項(xiàng)目的一個(gè)有價(jià)值的部分。  

     只要將計(jì)劃做得更好，并使用可執(zhí)行的計(jì)劃來(lái)測(cè)試項(xiàng)目的完整性，就能提高項(xiàng)目質(zhì)量，增加項(xiàng)目進(jìn)度的可預(yù)見(jiàn)性，并改善資源生產(chǎn)效率。換言之，有了更好的計(jì)劃，驗(yàn)證團(tuán)隊(duì)就更容易得到他們需要的結(jié)果。  

     在整個(gè)項(xiàng)目過(guò)程中使用計(jì)劃能夠幫助更早發(fā)現(xiàn)問(wèn)題，而這正是保持項(xiàng)目進(jìn)度的關(guān)鍵之一。同時(shí)，根據(jù)計(jì)劃的標(biāo)準(zhǔn)來(lái)跟蹤項(xiàng)目進(jìn)展也能使團(tuán)隊(duì)中的所有成員更好地進(jìn)行自我管理，從而提高生產(chǎn)效率。  

     怎樣的計(jì)劃才算一個(gè)好計(jì)劃？  

     驗(yàn)證計(jì)劃必須從注重“怎樣驗(yàn)證”轉(zhuǎn)向到“驗(yàn)證什么”。通過(guò)確定什么是需要驗(yàn)證的這個(gè)重要目標(biāo)，驗(yàn)證團(tuán)隊(duì)就能保證計(jì)劃的完整性和平衡性。這時(shí)，驗(yàn)證計(jì)劃就不僅僅是怎樣完成驗(yàn)證的工程規(guī)范了。  

     a. 驗(yàn)證計(jì)劃的基礎(chǔ)知識(shí)  

     從高級(jí)過(guò)程的來(lái)看，驗(yàn)證計(jì)劃其實(shí)十分簡(jiǎn)單，其基本步驟包括：  

     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ù)過(guò)去的度量標(biāo)準(zhǔn)估計(jì)工作和進(jìn)度  

     通常，團(tuán)隊(duì)帶頭人傾向于按照這個(gè)程序來(lái)進(jìn)行驗(yàn)證計(jì)劃，但他們每一步都至少會(huì)遺漏一個(gè)關(guān)鍵方面，通過(guò)這種投機(jī)取巧的方式節(jié)省時(shí)間，將項(xiàng)目拿來(lái)作賭注 。結(jié)果，輸?shù)耐撬麄儭?nbsp; 

     b. 分析器件規(guī)范  

     所有的項(xiàng)目總是從幾種規(guī)范開始。市場(chǎng)行銷過(guò)程能夠幫助了解用戶需求，管理的過(guò)程定義資源和進(jìn)度以及自己構(gòu)建相對(duì)于購(gòu)買的制約；最后再由系統(tǒng)工程師和軟、硬件工程師以及驗(yàn)證團(tuán)隊(duì)分別制定驗(yàn)證實(shí)現(xiàn)規(guī)范，以該規(guī)范引導(dǎo)項(xiàng)目進(jìn)行。  

     對(duì)一個(gè)項(xiàng)目而言，最大的風(fēng)險(xiǎn)是無(wú)法預(yù)見(jiàn)變動(dòng)的目標(biāo)。有些團(tuán)隊(duì)會(huì)試圖在一開始就找出所有的需求，然后順序地完成整個(gè)項(xiàng)目。這種方法有時(shí)也叫瀑布方法(waterfall method)。事實(shí)上這個(gè)過(guò)程中常常出現(xiàn)反覆，而項(xiàng)目的風(fēng)險(xiǎn)就在于無(wú)法充分預(yù)計(jì)反覆的影響以及控制反覆出現(xiàn)的頻率及其給項(xiàng)目增加的負(fù)擔(dān)。  

     c. 界定驗(yàn)證目標(biāo)  

     在項(xiàng)目驗(yàn)證目標(biāo)的界定階段最常見(jiàn)的問(wèn)題就是沒(méi)能與所有相關(guān)人員進(jìn)行廣泛的驗(yàn)證討論。而驗(yàn)證目標(biāo)的界定和建檔是鑒定項(xiàng)目規(guī)范是否考慮周全以及是否能被充分理解的唯一方法。  

     在項(xiàng)目開始之后再去計(jì)劃一個(gè)驗(yàn)證項(xiàng)目的細(xì)節(jié)將十分低效并難以預(yù)計(jì)后果。管理層必須在前期就投入足夠的時(shí)間去制定準(zhǔn)確和完善的驗(yàn)證目標(biāo)。需求的擴(kuò)展變化是另一個(gè)問(wèn)題，將在下節(jié)討論。  

     所有可能涉及到的人員都必須參與制定驗(yàn)證目標(biāo)，他們包括管理層、市場(chǎng)人員、系統(tǒng)設(shè)計(jì)師、硬件設(shè)計(jì)師、軟件設(shè)計(jì)師和驗(yàn)證團(tuán)隊(duì)。因?yàn)橹挥姓麄€(gè)團(tuán)隊(duì)都參與對(duì)話，才可能明確整個(gè)項(xiàng)目的需求。市場(chǎng)需求永遠(yuǎn)不可能完全，因?yàn)檫@些市場(chǎng)需求只解決市場(chǎng)關(guān)鍵因素。  

     從定義上講，管理資源和項(xiàng)目進(jìn)度約束往往具有一定沖突，隨著項(xiàng)目目標(biāo)的全面界定，必須緩和這二者之間的矛盾。系統(tǒng)工程師應(yīng)該提出與市場(chǎng)需求最貼近的技術(shù)觀點(diǎn)，軟、硬件工程師也應(yīng)為項(xiàng)目實(shí)現(xiàn)的關(guān)聯(lián)性提出有價(jià)值的見(jiàn)解。  

     驗(yàn)證團(tuán)隊(duì)是整個(gè)討論小組的核心，正是他們不斷地挑戰(zhàn)項(xiàng)目組的其他成員，讓他們看到并彌補(bǔ)項(xiàng)目的缺陷，同時(shí)還要讓他們認(rèn)清哪些特征是無(wú)法驗(yàn)證的，這正是面向驗(yàn)證的設(shè)計(jì)所需達(dá)到的關(guān)鍵目標(biāo)。如果遺漏了其中任何一點(diǎn)，那么項(xiàng)目中就仍存在漏洞和風(fēng)險(xiǎn)，從而不可避免地導(dǎo)致產(chǎn)品質(zhì)量問(wèn)題、成本過(guò)高或者進(jìn)度滯后。  

     d. 確定設(shè)計(jì)的特性集  

     高超的測(cè)試技術(shù)已經(jīng)成為驗(yàn)證中難以掌握的一個(gè)部分，衡量標(biāo)準(zhǔn)則是度量驗(yàn)證過(guò)程的一種方式。一直以來(lái)，工程師都通過(guò)設(shè)計(jì)測(cè)試軟件、實(shí)現(xiàn)檢驗(yàn)器(checker)并利用代碼覆蓋檢查工具來(lái)進(jìn)行驗(yàn)證。測(cè)試列表作為一種度量標(biāo)準(zhǔn)已經(jīng)廢棄不用了，因?yàn)檫@種標(biāo)準(zhǔn)在規(guī)定和實(shí)現(xiàn)上太過(guò)繁復(fù)。  

     有些時(shí)候，定向測(cè)試軟件比較容易設(shè)計(jì)，但它們無(wú)法滿足現(xiàn)代系統(tǒng)級(jí)芯片這樣規(guī)模的測(cè)試要求。檢驗(yàn)器并不適合用做度量標(biāo)準(zhǔn)，因?yàn)樗鼈冎粰z查錯(cuò)誤的系統(tǒng)行為而不記錄已經(jīng)觀察到的好的行為。而且，代碼覆蓋與行為的關(guān)系也很松散，因?yàn)槊恳恍写a的器件的前后環(huán)境條件(context)都沒(méi)有記錄。  

     業(yè)界領(lǐng)先的電子開發(fā)團(tuán)隊(duì)都認(rèn)為功能覆蓋是驗(yàn)證的最準(zhǔn)確的度量標(biāo)準(zhǔn)。功能覆蓋是覆蓋驅(qū)動(dòng)驗(yàn)證法(CDV)的一部分，采用這種方法，開發(fā)小組能測(cè)量出他們實(shí)際已經(jīng)完成了多少驗(yàn)證工作，而不是已經(jīng)執(zhí)行了多少次(大部分是多余的)仿真周期。  

     功能覆蓋的語(yǔ)言規(guī)范被設(shè)計(jì)成和界定過(guò)程中得到的需求規(guī)范相匹配，覆蓋規(guī)范中的斷言語(yǔ)言也可用于捕捉實(shí)現(xiàn)的假設(shè)，這是基于斷言的驗(yàn)證(ABV)的一部分。  

     全部覆蓋是完全了解一個(gè)項(xiàng)目狀態(tài)的唯一方法，而功能覆蓋則與設(shè)計(jì)特性直接相關(guān)。斷言覆蓋與功能覆蓋以及實(shí)現(xiàn)完整性都有關(guān)系，硬件和軟件代碼覆蓋可以讓我們知道設(shè)計(jì)完成得怎樣。  

     e. 設(shè)計(jì)詳細(xì)的覆蓋模型  

     界定過(guò)程的結(jié)果是得到一系列需要驗(yàn)證的特性，而規(guī)范必須對(duì)這些特性加以描述以便度量，覆蓋則用來(lái)定義驗(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)的典型疏忽是對(duì)覆蓋模型缺乏仔細(xì)研究。覆蓋模型必需足夠完整以代表需要驗(yàn)證的所有特性，同時(shí)它也必須足夠簡(jiǎn)練，這樣開發(fā)小組和驗(yàn)證工具才能在給定的時(shí)間段內(nèi)完成任務(wù)。這樣的判斷十分關(guān)鍵，因?yàn)?00%地驗(yàn)證絕大部分關(guān)鍵功能比在很詳細(xì)的覆蓋模型中缺失關(guān)鍵功能要好得多。  

     f. 選用集合法來(lái)跟蹤驗(yàn)證過(guò)程  

     所謂管理，不外乎計(jì)劃和執(zhí)行，而跟蹤項(xiàng)目進(jìn)度是唯一能夠知道項(xiàng)目團(tuán)隊(duì)是否在執(zhí)行的方法。問(wèn)題是怎樣才能選到能夠代表項(xiàng)目進(jìn)度并能揭示項(xiàng)目中存在的問(wèn)題和風(fēng)險(xiǎn)的少量衡量標(biāo)準(zhǔn)？  

     通常，項(xiàng)目團(tuán)隊(duì)會(huì)定義一些重要階段(milestone)來(lái)大致勾畫出項(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)證某個(gè)特定的特性已經(jīng)無(wú)法滿足要求了。  

     越來(lái)越多的團(tuán)隊(duì)定義能暴露可能出現(xiàn)的系統(tǒng)集成問(wèn)題的重要階段。他們提供正確的功能性模塊的子集以便能進(jìn)行早期系統(tǒng)驗(yàn)證，這就要求詳細(xì)定義一些特性，這些特性在每個(gè)重要階段中都必須出現(xiàn)。  

     利用覆蓋來(lái)定義這些特性，并對(duì)具備系統(tǒng)某部分特性的重要階段進(jìn)行仔細(xì)的定義和跟蹤。這樣一來(lái)，項(xiàng)目重要階段不再僅僅是在進(jìn)度表中標(biāo)出一塊作為階段完成的標(biāo)志，它具備了更重要的意義，那就是切實(shí)降低項(xiàng)目的質(zhì)量和進(jìn)度風(fēng)險(xiǎn)。  

     還有一些人工跟蹤的重要階段，其中包括首次工作仿真，以及覆蓋模型的生成、檢查和完成。這兩個(gè)重要階段也叫做實(shí)現(xiàn)跟蹤，預(yù)期和完成這兩個(gè)重要階段往往會(huì)使第一次采用覆蓋驅(qū)動(dòng)驗(yàn)證的團(tuán)無(wú)所適從。一種可執(zhí)行的驗(yàn)證計(jì)劃就能為他們分別規(guī)定好條件，從而改善這一項(xiàng)目早期關(guān)鍵階段的可預(yù)測(cè)性。  

     g. 采用過(guò)去的衡量標(biāo)準(zhǔn)估計(jì)進(jìn)度  

     創(chuàng)建工程進(jìn)度表是一種藝術(shù)，它反映了負(fù)責(zé)項(xiàng)目計(jì)劃的團(tuán)隊(duì)經(jīng)驗(yàn)是否豐富，也會(huì)讓他們想起過(guò)去在類似的任務(wù)上花費(fèi)的時(shí)間長(zhǎng)短。在功能驗(yàn)證中使用的標(biāo)準(zhǔn)越多，進(jìn)度估計(jì)就越成其為一種工程藝術(shù)，它使驗(yàn)證過(guò)程是可見(jiàn)的。而問(wèn)題是過(guò)去很少有團(tuán)隊(duì)能夠得到這些標(biāo)準(zhǔn)，也很少有團(tuán)隊(duì)在創(chuàng)建一個(gè)能量化和估計(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)境中測(cè)量實(shí)現(xiàn)、調(diào)試和集成每一級(jí)IP及其提取所花費(fèi)的時(shí)間，不同大小的IP配以不同的數(shù)據(jù)點(diǎn)(data point)。他們還要估計(jì)開發(fā)新IP相對(duì)于重用舊IP所造成的不同影響，項(xiàng)目團(tuán)隊(duì)的工程經(jīng)驗(yàn)和工程技能對(duì)項(xiàng)目的影響，以及自動(dòng)化驗(yàn)證過(guò)程與人工驗(yàn)證管理之間怎樣權(quán)衡。他們不但要考察硬件和軟件，還要考察模塊、芯片以及系統(tǒng)級(jí)的問(wèn)題。  

     如果沒(méi)有實(shí)際的歷史度量標(biāo)準(zhǔn)，那么項(xiàng)目團(tuán)隊(duì)可以通過(guò)估計(jì)得到這些標(biāo)準(zhǔn)。但今天的進(jìn)度表往往是對(duì)任務(wù)的估計(jì)，而不是對(duì)度量標(biāo)準(zhǔn)的估計(jì)。項(xiàng)目團(tuán)隊(duì)通過(guò)將這種估計(jì)細(xì)分為更多詳細(xì)的級(jí)別，能夠發(fā)現(xiàn)他們的論證中的假定成分。此外，他們還會(huì)針對(duì)每個(gè)工作人員怎樣完成其工作給出詳細(xì)的細(xì)節(jié)。  

     這樣我們就能構(gòu)建出一個(gè)模型或等式，它利用歷史度量標(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)度的承諾。采用合適的自動(dòng)化工具，項(xiàng)目團(tuán)隊(duì)就能將這些估計(jì)與整個(gè)項(xiàng)目、任務(wù)以及詳細(xì)的標(biāo)準(zhǔn)進(jìn)行比較，并從中吸取經(jīng)驗(yàn)以利于下一個(gè)項(xiàng)目的計(jì)劃。  

     需求改變  

     每個(gè)工程師都知道，需求總是在變化的，即使推遲計(jì)劃也不會(huì)改變這一事實(shí)。許多電子產(chǎn)品所服務(wù)的用戶市場(chǎng)與季節(jié)的關(guān)系比與項(xiàng)目結(jié)束時(shí)間的關(guān)系更加密切。管理人員一直都在尋求方法，企圖控制變化過(guò)程，使項(xiàng)目更具有可預(yù)測(cè)性。關(guān)鍵問(wèn)題是“我們最晚能在什么時(shí)候才引入變化，并按進(jìn)度發(fā)布一款高質(zhì)量的產(chǎn)品呢？”。  

     在從規(guī)范制定到項(xiàng)目結(jié)束階段一直對(duì)驗(yàn)證起推動(dòng)和管理作用的自動(dòng)化機(jī)制中，歷史驗(yàn)證計(jì)劃是一個(gè)關(guān)鍵部分。自動(dòng)化驗(yàn)證機(jī)制中包括：  

     1. 可執(zhí)行的驗(yàn)證計(jì)劃  

     2. 用于測(cè)量驗(yàn)證進(jìn)度的覆蓋和斷言  

     3. 用于檢測(cè)和匯報(bào)違規(guī)規(guī)范的檢驗(yàn)器和斷言  

     4. 激勵(lì)產(chǎn)生(Stimulus generation)  

     進(jìn)行更好的驗(yàn)證計(jì)劃并采用可執(zhí)行的驗(yàn)證計(jì)劃能夠帶來(lái)以下幾點(diǎn)好處。  

     1. 提高產(chǎn)品質(zhì)量  

     顯而易見(jiàn)，好的計(jì)劃會(huì)促成高質(zhì)量的產(chǎn)品。每一個(gè)接受我們的幫助改善了其驗(yàn)證計(jì)劃的客戶，在這個(gè)過(guò)程之后都發(fā)現(xiàn)了他們的問(wèn)題。即使對(duì)那些進(jìn)展順利的項(xiàng)目而言，進(jìn)行嚴(yán)格的驗(yàn)證計(jì)劃，其價(jià)值也是顯而易見(jiàn)的。有時(shí)，驗(yàn)證計(jì)劃的最大價(jià)值就在于它為計(jì)劃創(chuàng)建了一個(gè)通用的流程和術(shù)語(yǔ)。  

     2. 提高項(xiàng)目進(jìn)度的可預(yù)見(jiàn)性  

     更精確的工作估計(jì)以及更早發(fā)現(xiàn)項(xiàng)目與計(jì)劃的偏差增強(qiáng)項(xiàng)目進(jìn)度的可預(yù)見(jiàn)性。同時(shí)，詳細(xì)設(shè)定重要階段也能幫助更早發(fā)現(xiàn)項(xiàng)目中的關(guān)鍵問(wèn)題，從而使驗(yàn)證團(tuán)隊(duì)有機(jī)會(huì)在項(xiàng)目的正常過(guò)程中成功地應(yīng)對(duì)這些挑戰(zhàn)。  

     3. 提高團(tuán)隊(duì)效率  

     一個(gè)可執(zhí)行的驗(yàn)證計(jì)劃既能幫助一個(gè)團(tuán)隊(duì)更有效地交流，也能幫助他們更輕松地將工作重點(diǎn)放在項(xiàng)目的關(guān)鍵因素上。而標(biāo)準(zhǔn)匯報(bào)方式也增加了團(tuán)隊(duì)的工作效率和管理層的管理效率，使資源能集中應(yīng)用在最關(guān)鍵的任務(wù)上。