將會為O，則系統(tǒng)將會追蹤狀態(tài)機205的錯誤分支，并且將必須展開狀態(tài)機205的處理以試圖找到正確的分支。這是回溯的示例。應當明顯的是，必須使狀態(tài)機205反向并且處理不同的分支可能減慢比特流的處理。避免使用狀態(tài)機205進行回溯將要求前瞻處理:系統(tǒng)將必須以某種方式查看尚未進入比特流中的比特。前瞻也是復雜且昂貴的。
[0029]為了避免回溯和前瞻二者，狀態(tài)機205可以進行優(yōu)化。圖2C中的狀態(tài)機240示出優(yōu)化的狀態(tài)機的示例。利用狀態(tài)機240，不存在前瞻的需要，并且不涉及回溯。給定任何分組的任何前綴(直至并且包括整個分組)，僅存在匹配該前綴的通過狀態(tài)機240的一個可能路徑。因此，不存在執(zhí)行前瞻的需要，并且不需要擔心回溯:給定狀態(tài)機240中的特定狀態(tài)和特定輸入符號，僅存在要轉換到的一個可能的狀態(tài)(該狀態(tài)可能是錯誤狀態(tài)，但是為了簡化而在圖2C中未示出)。
[0030]優(yōu)化可以使用以下過程完成。開始從起始狀態(tài)遍歷樹并且組合等同且具有相同父節(jié)點的節(jié)點(也就是說，將節(jié)點合并成單個節(jié)點)。該過程可以重復直到不再存在要組合的相似節(jié)點。然后找到等同Success(成功)狀態(tài)，組合它們，并且然后組合等同并且具有相同子節(jié)點的節(jié)點(再次，重復過程直到不再存在要組合的相似節(jié)點)。
[0031]圖2D示出由用戶定制的特定觸發(fā)的示例。在圖2D中，用戶已選擇在正則表達式中的分組的地址字段(而不是slaveAddress字段)被設置成值O時進行觸發(fā)。由于該字段不出現(xiàn)在分組RegisterOffritd寄存器O寫入)中，因此狀態(tài)機的這整個分支可以從觸發(fā)狀態(tài)機245排除?？梢詫φ誷laveAddress字段匹配任何值，此后比特O和I必須匹配。任何比特可以在此后出現(xiàn)(盡管實際比特將取決于讀取的特定分組，觸發(fā)狀態(tài)機245不關心接收到哪個值)，此后接收用于地址字段的比特，并且可以將其與值O比較。如果值O匹配地址字段，則觸發(fā)狀態(tài)機245成功，并且可以發(fā)起觸發(fā)。
[0032]以上示例使用表述為相等的單個觸發(fā)準則。但是不存在將觸發(fā)條件限制到相等的理由。除了相等(==)之外，其他觸發(fā)條件的示例可以是不相等(！=)，小于(<)，小于或等于( < =)，大于( > )，或者大于或等于( >=)。此外，觸發(fā)條件可能僅取決于來自正則表達式中的字段的信息的子集。例如，在圖2D中，用戶可能僅對地址字段的中間三個比特是否等于OOl感興趣:地址字段(其具有總共五個比特)中的第一和最后一個比特可以匹配任何值。還可能的是設置僅僅取決于到達特定狀態(tài)的觸發(fā)條件。例如，用戶可能對知曉何時到達地址字段感興趣，而不管其實際值。
[0033]此外，觸發(fā)條件不必限于單個準則(其可以稱為簡單觸發(fā)條件)。用戶可以指定多個準則(復合觸發(fā)條件)，多個準則使用“與”以及“或”運算符組合在任何期望的組合中。因此，狀態(tài)機可能針對多個條件進行測試，其中的任一個可能涉及子條件的集合等等。本領域技術人員將會知曉如何如所期望的那樣將用戶所提供的條件簡化成析取范式或合取范式，這可能簡化狀態(tài)機的設計。(析取范式是指表述為合取從句的析取的邏輯公式:也就是說，“與”的“或”。合取范式類似地描述“或”的“與”)。
[0034]圖3A-3B示出具有復合觸發(fā)條件的狀態(tài)機的示例。在圖3A中，用戶已指定(addr(地址)==OxA && parity(奇偶校驗)==I)的觸發(fā)條件。這樣的觸發(fā)條件是兩個條件的合取。由于觸發(fā)條件要求兩個狀態(tài)二者具有指定值，因此狀態(tài)機中的兩個狀態(tài)被設置成特定值(如用戶所指定的那樣);針對其它狀態(tài)的值一般不重要，并且可以組合成單個狀態(tài)。
[0035]在圖3B中，用戶已指定(addr == OxA || parity == I)的觸發(fā)條件:析取觸發(fā)條件。由于觸發(fā)條件要求兩個狀態(tài)之一具有指定值，因此可以建立具有單獨條件的兩個狀態(tài)機并且使用早前描述的優(yōu)化技術合并。要指出的是，即使觸發(fā)條件應用于單個狀態(tài)機，由于析取也存在到成功觸發(fā)的兩個可能路徑。
[0036]圖3A-3B給出涉及組合兩個可能觸發(fā)值的單個“與”或“或”的示例。但是應當顯然的是，可以針對更加復雜的觸發(fā)條件一般化過程。例如，如果觸發(fā)條件涉及通過“與”運算結合的兩個值，或者另一個值(形式((X與Y)或Z)的表達式)，則可以拷貝狀態(tài)機。一個副本可以修改成反映“與”運算的第一值;第二副本可以修改成反映“與”運算的第二值;并且第三副本可以修改成反映“或”運算的其它值。前兩個狀態(tài)機然后可以組合并且如以上所描述的那樣優(yōu)化以表示“與”運算，并且該狀態(tài)機然后可以與第三狀態(tài)機組合和優(yōu)化以表示復合觸發(fā)條件。
[0037]現(xiàn)在已經(jīng)描述了觸發(fā)狀態(tài)機，可以描述可以使用觸發(fā)狀態(tài)機的系統(tǒng)。圖4示出根據(jù)本發(fā)明的實施例的可以創(chuàng)建和使用圖1B-1C和2B-2D的狀態(tài)機以在滿足各種觸發(fā)條件時觸發(fā)測試和測量儀器的測試和測量儀器。系統(tǒng)可以包括測試和測量儀器405。測試和測量儀器可以是任何所期望的測試和測量儀器，除其它可能性之外諸如是示波器。
[0038]測試和測量儀器405可以包括存儲器410。存儲器410可以存儲信息，諸如狀態(tài)機415。狀態(tài)機415可以是用于匹配正則表達式的狀態(tài)機:換言之，諸如圖1B，2B和2C的狀態(tài)機110，205和240之類的狀態(tài)機。狀態(tài)機415還可以是觸發(fā)狀態(tài)機，諸如圖1C和2D的狀態(tài)機150和 245。
[0039]測試和測量儀器405還可以包括接收器420，其可以接收進入測試和測量儀器405中的輸入。輸入可以以任何數(shù)目的方式接收。例如，接收器420可以包括用于用戶輸入諸如觸發(fā)條件425之類的信息的用戶接口，該信息自身可以包括例如用戶針對特定比特字段所選擇的值430?；蛘?，接收器420可以包括接收包括要分析的比特流(諸如比特流435)的信號。接收器420還可以接收正則表達式440(例如，通過集成開發(fā)環(huán)境(IDE)，其可以標識系統(tǒng)應當預期在比特流435中接收的數(shù)據(jù)，并且可以用于構造狀態(tài)機415(其作為識別正則表達式440的狀態(tài)機或觸發(fā)狀態(tài)機)。
[0040]測試和測量儀器405還可以包括各種其它單元。狀態(tài)機修改器445可以取得現(xiàn)有狀態(tài)機(例如將數(shù)據(jù)匹配到正則表達式440的一個)并且將其修改成作為觸發(fā)狀態(tài)機運行。如以上所討論的，除其它可能性之外，這可以包括排除在滿足觸發(fā)條件之后發(fā)生的狀態(tài)，并且組合其值未被視為觸發(fā)條件的部分的狀態(tài)。
[0041 ]處理引擎450可以使用各種狀態(tài)機(包括例如使用正則表達式440生成的狀態(tài)機或使用狀態(tài)機修改器445產(chǎn)生的觸發(fā)狀態(tài)機)處理比特流435。該處理可以包括當從比特流435讀取比特時，更新針對每一個各種狀態(tài)機的當前狀態(tài)。
[0042]觸發(fā)系統(tǒng)455可以在滿足觸發(fā)條件時(也就是說，在滿足觸發(fā)狀態(tài)機時)發(fā)送觸發(fā)。觸發(fā)系統(tǒng)455可以向測試和測量儀器405的任何期望組件發(fā)送觸發(fā)以執(zhí)行作為觸發(fā)結果的任何動作，如本領域普通技術人員將會理解的那樣。
[0043]狀態(tài)機生成器460可以從正則表達式440生成狀態(tài)機。如以上所討論的，這可以包括創(chuàng)建以正則表達式中所呈現(xiàn)的順序匹配字段的狀態(tài)的順序系列。這還可以包括將匹配不同正則表達式的各種狀態(tài)機組合成單個狀態(tài)機，以及優(yōu)化狀態(tài)機以避免前瞻和回溯問題。
[0044]除了生成和使用觸發(fā)狀態(tài)機之外，測試和測量儀器405還可以用于生成面包肩。面包肩讓用戶重創(chuàng)建狀態(tài)機的操作，以查看如何處理數(shù)據(jù)。諸如面包肩465之類的面包肩是可以存儲在存儲器410中的數(shù)據(jù)比特。本質上，無論何時進入狀態(tài)機中的狀態(tài)，都可以保存面包肩。面包肩可以包括數(shù)據(jù)，諸如狀態(tài)的類型(例如錯誤狀態(tài)、分組開始、分組結束或字段)、用于狀態(tài)的ID(其可以標識字段或分組)以及時間(諸如導致進入狀態(tài)的數(shù)據(jù)的開始和/或停止時間)。本領域技術人員將認識到，“時間”不必是指