CACR-HR05BAB11驗(yàn)證功能模塊的具體實(shí)現(xiàn)

　　4.1 簡(jiǎn)介

　　以CACR-HR05BAB11為基礎(chǔ)，實(shí)現(xiàn)了一個(gè)驗(yàn)證8位MCU的平臺(tái)，這個(gè)平臺(tái)可以隨機(jī)生成一系列的指令，并且在每個(gè)指令后進(jìn)行自檢。下面就這個(gè)平臺(tái)的詳細(xì)實(shí)現(xiàn)加以介紹，4.2小節(jié)將會(huì)介紹隨機(jī)指令生成，以及Scenario約束的實(shí)現(xiàn)，4.3小節(jié)將會(huì)介紹Driver部分，這里Driver實(shí)現(xiàn)了Transactor的任務(wù)，除了實(shí)現(xiàn)匯編，將16進(jìn)制代碼讀入ROM模型中，還要調(diào)用MCU的C模型并產(chǎn)生結(jié)果供后續(xù)ScoreBoard對(duì)比。 4.4小節(jié)將會(huì)介紹MCU的C模型，C模型行為是直接影響MCU是否正確的保證。4.5小節(jié)將會(huì)介紹memory模型的實(shí)現(xiàn)，包括Internal SFR、Internal RAM、External SFR以及External RAM。4.6小節(jié)介紹過(guò)于ScoreBoard的自檢機(jī)制，以及自動(dòng)終止仿真的方法。4.7小節(jié)將會(huì)介紹關(guān)于功能覆蓋率模型的建立。

　　4.2 CACR-HR05BAB11指令數(shù)據(jù)包以及Scenario Generator

　　在VMM環(huán)境中，所有的數(shù)據(jù)都是擴(kuò)展vmm_data得到，在這里首先對(duì)指令分類(lèi)，相同格式的指令皆為同一類(lèi)型，具體部分分類(lèi)表格如表1中所示。

　　CACR-HR05BAB11分類(lèi)的依據(jù)在于指令格式，例如對(duì)從工作寄存器Rn到A的操作，或是從直接地址Rx到A的操作，這樣可以通過(guò)約束一個(gè)種類(lèi)來(lái)隨機(jī)化指令格式，生成指令格式以后可以根據(jù)指令格式來(lái)填入相應(yīng)的隨機(jī)值。首先就是約束指令格式對(duì)應(yīng)的指令，代碼如：

　　constraint add_mode_decide_kind{

　?。╝ddr_mode==RN_A） -> kind inside {MOV， ADD， ADDC， SUBB， XCH， ANL， ORL， XRL};

　?。╝ddr_mode==RX_A） -> kind inside {MOV， ADD， ADDC， SUBB， XCH， ANL， ORL， XRL};

　　…………}

　　然后約束對(duì)應(yīng)的寄存器地址，立即數(shù)，相對(duì)地址等，代碼如：

　　constraint inst_valid{

　　di_x inside {［0:255］};

　　reg_y inside {［0:255］};

　　reg_i inside {0， 1};

　　reg_n inside {［0： 7］};

　　…。}

　　CACR-HR05BAB11得到了指令的格式，隨機(jī)得到指令，指令參數(shù)，在以上約束下就可以生成一條符合語(yǔ)法的指令。通過(guò)在TestCase中約束指令格式，或是地址數(shù)據(jù)就可以在TestCase中控制Generator生成的指令，通過(guò)變換隨機(jī)種子就可以生成不同類(lèi)型的指令集合。

　　使用宏定義對(duì)數(shù)據(jù)類(lèi)擴(kuò)展就可以得到數(shù)據(jù)類(lèi)的Generator和Channel：

　　`vmm_channel（inst）

　　`vmm_scenario_gen（inst， “inst”）

　　每次scenario Generator生成一條指令，并且通過(guò)channel傳遞給Driver?？梢詫⒁幌盗屑s束做為一個(gè)scenario，這樣可以控制指令與指令之間的關(guān)系，將一系列scenario合并可以生成更多的隨機(jī)組合，例如：

　　$void（scenario_kind） == R0_OP -> {

　　foreach（items［i］）{

　　items［i］.addr_mode inside {0，1，2，4，5，6，7，8，10，11，12，13，14，21，22，23，24，26，27，28=};

　　items［i］.reg_x inside {0};

　　items［i］.reg_n inside {0};

　　items［i］.reg_i inside {0};

　　}

　　}

　　驗(yàn)證這里能夠做到盡可能大量重復(fù)地測(cè)試某些指令的集合，以便將一些邊緣情況測(cè)到，例如實(shí)際應(yīng)用上會(huì)反復(fù)使用累加器或是反復(fù)調(diào)用CACR-HR05BAB11，都可以通過(guò)約束來(lái)實(shí)現(xiàn)。大量隨機(jī)的代碼測(cè)試下，可以給出更邊緣的TestCase，盡可能地測(cè)試到一些邊緣情況。

Watch this item
HONEYWELL DR45AT-1000-40-?000-0-0000B0-0 USPP DR45AT1000
Location: USA

Watch this item
HONEYWELL 51196655-100 USPP 51196655100
Location: USA

Watch this item
HONEYWELL DCP72199TF15012?H0 USPP DCP72199TF15012?H
Location: USA

Watch this item
Honeywell Yamatake 82408667-001 Memory board ROM / RAM
Location: USA

Watch this item
Honeywell 4DP7APXOA311-B Analog Output Module DCS
Location: USA

Watch this item
HONEYWELL INTL - POWER DISTRIBUTION PANEL - PN 10102672
Location: USA

Watch this item
HONEYWELL 4DP7APXI021 USPP 4DP7APXI021
Location: USA

Watch this item
HONEYWELL 4DP7APXIO21 USPP 4DP7APXIO21
Location: USA

Watch this item
HONEYWELL 30733157-001 USPP 30733157001
Location: USA

?