scv_tr_stream: 事務(wù)處理流建模對象。流是一種抽象通訊方法，包括重疊事務(wù)處理在內(nèi)的事務(wù)處理可以發(fā)生流中，例如一個帶有讀/寫事務(wù)處理的存儲流。因此一個流可以被認為是一個抽象信號，在這個信號中事務(wù)處理是可以被信號使用的抽象值，例如一個數(shù)據(jù)傳送總線的地址或數(shù)據(jù)流。

scv_tr_generator: 圍繞一個特定的事務(wù)處理類別并且允許創(chuàng)建和增加屬性的對象，可以是包括設(shè)計信號和信息以及通用有效負載數(shù)據(jù)在內(nèi)的任何對象。

下面的代碼段 顯示了如何利用SCV以一種相對比較直接的方式創(chuàng)建事務(wù)處理。每一個代碼段前的注釋均指出其后語句的目的。事務(wù)處理可以以一種無縫的方式(不需要用戶的直 接干預)被記錄進數(shù)據(jù)庫中。為了實現(xiàn)這一點，工具供應(yīng)商可以通過在上述三個類中提供的注冊機制來注冊回叫，從而實現(xiàn)記錄功能。用戶只需要增加一些初始化調(diào) 用即可。

// Inside sc_main() or some other context

// SCV startup

scv_startup();

// Initialization

API_vendor_initialization(); // set SCV callbacks here

scv_tr_db db(my_db);

scv_tr_db::set_default_db(db);

// Define a stream and a generator

scv_tr_stream mem_stream(memory, transactor);

scv_tr_generator read_gen(read, mem_stream, mem);

scv_tr_handle tr_handle;

// Modeling code here

// Transaction begin with a tr_data attribute

tr_data.addr= addr_signal;

tr_data.data=data_signal;

tr_handle=write_gen.begin_transaction(tr_data);

// Transaction end

tr_handle.end_transaction();

// Other modeling code here

SCV也有許多其它的類，例如，在不同的事務(wù)處理之間建立關(guān)系的scv_tr_relation。在確定諸如前續(xù)-后繼之類的因果關(guān)系、如父-子之類的層次關(guān)系以及成分分析集合體時，關(guān)系在分析以及調(diào)試方面都相當有用。

由于OpenVera(www.open-vera.org)是一種面向?qū)ο蟮慕ＵZ言，它可以輕而易舉地容納事務(wù)處理級建模的封裝概念。該語言目前不具備與SCV類似的內(nèi)置事務(wù)處理類。但可有可能為了這一目的而創(chuàng)建類，例如下面的極小集：trans_db：用于數(shù)據(jù)庫；

trans_stream：事務(wù)處理流建模對象；

trans_type：創(chuàng)建事務(wù)處理以及事務(wù)處理的屬性；

trans_handle：便于操控句柄。