《電子技術應用》
您所在的位置:首頁 > 可編程邏輯 > 設計應用 > 一個嵌入式系統的Petri網模型與CPLD實現
一個嵌入式系統的Petri網模型與CPLD實現
劉仁峰 盛翊智 沈思旻
摘要: 將Petri網與VHDL結合,運用Petri網建立硬件系統模型,然后采用VHDL語言進行設計,最終下載到CPLD,成功地實現了整個硬件系統的邏輯控制器設計。
關鍵詞: CPLD Petri網 C/E模型 VHDL
Abstract:
Key words :

  摘  要:Petri網" title="Petri網">Petri網與VHDL" title="VHDL">VHDL結合,運用Petri網建立硬件系統模型,然后采用VHDL語言進行設計,最終下載到CPLD" title="CPLD">CPLD,成功地實現了整個硬件系統的邏輯控制器設計。

  關鍵詞: Petri網  C/E模型" title="C/E模型">C/E模型  VHDL  CPLD

 

  Petri網是異步并發系統[1],沒有人為的控制流,直觀地表示了非確定性;且可以圖形化的方式描述復雜的系統,并可運用數學工具進行分析。因此,其在軟件系統的建模與仿真中得到廣泛應用。Petri網自身具備的可運行性方便了系統形式化描述級的模擬,可以用于表達不同抽象級上的系統概念并清楚地描述整個系統的運作過程。筆者發現Petri網的應用目前僅局限于軟件系統的設計,例如網絡協議、物流管理等,而在硬件系統中卻很少涉足。硬件系統隨著功能的日益增強,其功能描述也越來越復雜?;谟布到y描述的VHDL語言以其強大的硬件描述能力,已被廣大科研工作者所采用。VHDL語言也適用于描述異步并發系統,因此可與Petri網建立的模型聯系起來。

  本文采用自頂向下與層次分析相結合的設計方法,用Petri網的一個子類C/E系統(條件/事件系統)對視頻輸入卡的邏輯控制器建立模型。針對控制器C/E模型中關心和需要觀察的變量,確定VHDL描述的實體和端口,由C/E系統網的拓撲結構確定條件和事件間的邏輯關系,構造VHDL語言中的結構體。采用EDA開發工具MAX+PLUS II進行代碼設計,邏輯綜合,并對設計進行仿真,最后下載到CPLD,驗證了邏輯控制器設計的正確性。

1 應用背景及控制器功能要求

  圖1為某一視頻輸入卡結構框圖。前端視頻信號經過解碼、緩沖后,將數據送入DSP處理。其中由邏輯控制器協調各部分之間的運作。從圖1中可以看出,邏輯控制器與視頻切換、視頻解碼、視頻數據緩存以及DSP等部分存在聯系,歸納起來需要完成五個基本功能:視頻通道切換控制;插入行標志信息;FIFO的初始化操作;寫FIFO;讀FIFO。

 

  要完成上述五個基本功能,必須保證每個功能與另一功能之間不存在沖突,但允許存在并發行為,同時它們之間的邏輯順序應保持一致。因此需要一個主控模塊協調各部分的操作。各功能部分之間的邏輯關系比較復雜,涉及到圖像數據的行同步以及場同步等問題,一旦出錯,則接收的就不是有效的圖像數據,后續工作也不能正常進行。為此,首先建立Petri網模型,并運用數學工具進行分析,最后采用VHDL語言實現。

2 控制器Petri網模型

  應用Petri網的一個子類C/E建立視頻輸入卡的邏輯控制器模型。控制器實現的五大功能,在滿足各自條件的情況下,能夠正確地完成相關操作。如果將每個功能展開進行Petri網模型設計,將會使整個C/E系統的節點過多。節點一多,則不易分析其性質和計算它的可達樹、不變量等參數。Petri網特有的直觀易懂、適于交流的圖形表示也就失去了意義。采用層次分析的方法,首先在頂層根據各功能要求建立一個Petri網模型,然后在各個模塊內部建立更詳細的子模型。鑒于頂層和底層的分析方法類似,只將頂層模型展開討論。網絡的一些動態特性,如庫所與變遷的含義如表1所示。

 

  邏輯控制器頂層Petri網模型如圖2所示。該模型是一個基本網系統,其狀態元素稱為條件,變遷元素稱為事件。事件的發生改變條件的狀態(成真與否),引起信息在網上的流動[1]。由條件和事件組成的有向網通常表現為三元組(B,E;F),其中B為條件集,E為事件集。同時該模型還滿足如下條件:

 

  ·(B,E;F)為簡單網;

  ·B中每個條件都有機會成真,也有機會成假;

  ·E中每個事件都有機會發生;

  ·由初始情態ci導出的可達情態集是完全可到達關系R下的等價類。

  因此,該模型還是一個C/E系統。在Petri網仿真軟件Visual Object Net++中進行仿真測試,結果表明該模型能很好地描述控制器各部分之間的邏輯關系。

3 VHDL程序的基本單元設計

  CPLD(復雜可編程邏輯器件)是處于并行工作方式的基本電路單元構成的高速、大規模集成器件[2],可作為一種并發系統模型與Petri網建立聯系。VHDL作為一種硬件描述語言,支持行為描述、數據流描述和結構化描述等多種描述方法,可以用并行和順序多種語句方式描述實際的系統,并可采用VHDL的并行語句描述C/E系統中條件/事件間的并發關系,用VHDL的順序語句描述條件/事件間的順序約束機制,為解決C/E系統中的有效沖突提供了可行的方法。

  VHDL語言程序設計的基本單元稱為一個基本設計實體,其主要由實體說明(entity declaration)和構造體(architecture body)兩部分構成。實體說明部分規定了設計單元的輸入輸出接口信號或引腳。根據該控制器的C/E系統中關心和需觀察的變量選擇系統的輸入和輸出信號,以確定基本設計單元的實體及其端口。在控制器的C/E系統模型中,因為事件驅動條件是變化的,所以將發生的事件作為設計實體的輸入信號,系統條件作為實體的輸出信號。同時,為實體設計一個輸入端口sysSTART,使系統上電復位。當sysSTART觸發時賦予系統初始標識,系統資源(Token)流動使能。下面是具體的VHDL實體描述。

  LIBRARY IEEE;

  USE IEEE.STD_LOGIC_1164.ALL;

  ……(其它庫)

  ENTITY MainCtrl IS

  PORT(sysSTART: IN 數據類型;

         事件:IN數據類型;

         條件:OUT數據類型);

  END MainCtrl IS;

  構造體部分定義了設計單元的具體構造和操作(行為)。C/E系統模型的拓撲結構直觀地表達了條件和事件間的約束機制。這種約束機制映射為控制器內部各模塊之間的邏輯關系。根據控制器C/E系統模型的特點,可采用多進程結構描述C/E系統。進程內部順序執行,進程之間并發執行。多進程結構是并行執行進程的網絡,多個進程并發執行。因此從C/E系統的拓撲結構,可將各進程映射為C/E系統的各庫所狀態,從而能夠描述出各條件庫所間的異步并發關系。各進程之間通過接口信號進行通信。接口信號是由新變化的參量引導進程產生的輸出結果。設計進程的程序,使之產生的輸出結果成為新的庫所狀態,從而影響變遷觸發(fire)條件,以各進程的輸出結果作為進程間的通信接口信號。具體描述如下:

  ARCHITECTURE behav OF MainCtrl IS

  BEGIN

  進程Ri:PROCESS(事件集)    i∈[1,14]

                BEGIN

                  Pi<= 進程Ri的輸出;

                ……

                END PROCESS Ri;

  ......

  END behav;

  沖突是由系統資源的共享產生的,與并發是一對對偶的概念[1]。在實際的Petri網模型中可能存在沖突K=,網系統自身并不提供解決沖突的方法。避免沖突的方法或措施有:

  (1)由用戶選擇,有沖突的地方通常是需要作出選擇和決策的地方。

  (2)設置合適的觸發規則:確定性產生規則,如優先級;不確定性產生規則,如發生概率。

  (3)改變系統結構,即改寫Petri網的關聯矩陣,增加共享資源回收。

  VHDL語言中的并行語句同樣不能解決沖突問題。使用VHDL并行語句描述沖突時將導致資源的丟失。而使用VHDL語言中的順序語句,如進程內部的語句,采用設定不同優先級的方法,可以解決Petri網中存在的沖突。本控制器C/E系統也存在沖突現象,如圖3所示。

 

  對每個庫所Pi進程的變化(Token的有無),使用電平的高低來表征。事件發生與否,用脈沖出現與否表征。該C/E系統的結構體共有14個并行處理的進程。根據對控制器進行形式描述的思想,在進程內部采用下列結構:

  進程Ri:PROCESS(事件參數表),      i∈[1,14]

  ……

  IF(<條件表達式>) THEN

  <行為表達式>;

  END IF;

  END PROCESS 進程Ri;

  事件參數表(也稱敏感量)中事件觸發進程的執行過程是:在判斷事件的<條件表達式>為真后,順序執行其后的<行為表達式>,由新變化的參量引導進程產生輸出結果;執行完進程語句后,返回進程的事件參數,等待事件集新的變化,引發進程的再一次進行,往復循環。

4 基于VHDL的仿真與CPLD實現

  VHDL語言設計技術齊全,方法靈活,支持廣泛,對系統硬件描述能力強,具有多層次描述系統硬件的能力,可以從系統的數學模型直到門級電路[3]。對控制器的Petri網模型進行VHDL程序設計后,利用綜合器進行邏輯綜合和優化,綜合后再經仿真器進行時序仿真,得到涉及器件硬件特性的仿真結果,其結果正確。最后下載到Altera系列的EPM7128STC-6芯片上,從而實現視頻輸入卡邏輯控制器設計。行為仿真結果的仿真波形如圖4所示。

 

 

  將Petri網與EDA技術結合,對視頻輸入卡邏輯控制器用Petri網的C/E系統建模,并使用VHDL對協議的C/E系統模型進行程序設計,最后由CPLD器件實現控制器模型,使之成為實際的邏輯控制電路。這為硬件電路的高層綜合設計提供了一種方法,也為軟件系統和硬件系統開辟了一條溝通的渠道。對于其它具有多因素、動態和并發特點的系統,同樣可用Petri網建立模型,用CPLD器件對模型進行仿真和實現。

 

參考文獻

1 袁祟義. Petri網原理[M]. 北京:電子工業出版社,1998

2 MAX+PLUS II Programable Logic development System Altera Corporation[J]. 1997

3 林 敏,方穎立.VHDL數字系統設計與高層次綜合[M].北京:電子工業出版社,2002

此內容為AET網站原創,未經授權禁止轉載。
热re99久久精品国产66热_欧美小视频在线观看_日韩成人激情影院_庆余年2免费日韩剧观看大牛_91久久久久久国产精品_国产原创欧美精品_美女999久久久精品视频_欧美大成色www永久网站婷_国产色婷婷国产综合在线理论片a_国产精品电影在线观看_日韩精品视频在线观看网址_97在线观看免费_性欧美亚洲xxxx乳在线观看_久久精品美女视频网站_777国产偷窥盗摄精品视频_在线日韩第一页
  • <strike id="ygamy"></strike>
  • 
    
      • <del id="ygamy"></del>
        <tfoot id="ygamy"></tfoot>
          <strike id="ygamy"></strike>
          久久久免费精品| 亚洲电影在线| 欧美性猛交视频| 国产精品久久久久久久9999| 欧美一区二区免费| 久久久亚洲高清| 欧美一区二区播放| 蜜桃久久精品一区二区| 亚洲欧美日韩爽爽影院| 欧美经典一区二区| 亚洲日本va午夜在线电影| 久久免费国产| 亚洲欧美综合另类中字| 欧美日韩在线一区二区三区| 欧美日韩亚洲综合在线| 欧美欧美在线| 欧美在线高清视频| 欧美日韩 国产精品| 国产精品一区二区男女羞羞无遮挡| 亚洲第一免费播放区| 性欧美精品高清| 一区二区三区日韩精品视频| 欧美大片免费观看| 亚洲自拍都市欧美小说| 欧美精品在线极品| 亚洲一区久久| 亚洲小视频在线观看| 午夜精品亚洲一区二区三区嫩草| 国产亚洲福利社区一区| 香蕉av福利精品导航| 国产亚洲成av人片在线观看桃| 午夜精品99久久免费| 午夜精彩国产免费不卡不顿大片| 亚洲免费黄色| 欧美激情一区二区三区成人| 欧美成人嫩草网站| 久久疯狂做爰流白浆xx| 欧美精品在线一区二区| 午夜国产不卡在线观看视频| 亚洲视屏在线播放| 亚洲精品中文字幕在线观看| 国产欧美午夜| 精东粉嫩av免费一区二区三区| 午夜精品一区二区三区在线播放| 欧美激情一区二区三区在线视频观看| 激情亚洲成人| 国产精品99久久久久久久vr| 亚洲第一精品夜夜躁人人躁| 中文网丁香综合网| 亚洲精品影视在线观看| 亚洲综合第一| 欧美日韩在线不卡一区| 蜜臀99久久精品久久久久久软件| 国产精品久久久久久福利一牛影视| 久久精品国产99| 国产精品视频网址| 欧美大片va欧美在线播放| 一区二区在线视频| 亚洲国产清纯| 亚洲图片欧美日产| 国产精品一级久久久| 亚洲天堂视频在线观看| 性18欧美另类| 一本一本久久a久久精品综合妖精| 欧美成人中文字幕| 午夜精品福利一区二区蜜股av| 久久久综合免费视频| 亚洲精品在线免费观看视频| 亚洲欧美日韩电影| 亚洲视频一区二区在线观看| 久久精品国产清自在天天线| 亚洲在线观看视频网站| 一本一道久久综合狠狠老精东影业| 亚洲精品免费在线观看| 一区二区高清| 揄拍成人国产精品视频| 亚洲色图自拍| 欧美 亚欧 日韩视频在线| 一区二区三区精品久久久| 欧美成人有码| 国产精品永久入口久久久| 国产精品国产a级| 午夜精品福利在线观看| 猛男gaygay欧美视频| 亚洲欧美日韩精品一区二区| 另类国产ts人妖高潮视频| 欧美中文字幕| 久久资源在线| 亚洲一区美女视频在线观看免费| 欧美精品一卡二卡| 亚洲综合社区| 欧美日本亚洲韩国国产| 亚洲视频1区| 红桃视频国产精品| 一区在线观看视频| 99在线|亚洲一区二区| 国产精品久久久久久久9999| 国产又爽又黄的激情精品视频| 亚洲调教视频在线观看| 亚洲一区三区视频在线观看| 午夜视频久久久久久| 在线观看91精品国产入口| 亚洲深夜影院| 亚洲高清久久久| 午夜精品影院在线观看| 黄色一区二区在线观看| 亚洲激情欧美激情| 国产精品免费观看视频| 欧美日韩亚洲国产精品| 久久美女艺术照精彩视频福利播放| 亚洲欧洲综合另类| 欧美国产视频在线观看| 亚洲高清在线| 久久人人九九| 欧美精品一区在线发布| 亚洲高清视频在线| 欧美三级黄美女| 美女福利精品视频| 亚洲精品乱码久久久久久按摩观| 日韩一级精品视频在线观看| 欧美大片免费观看在线观看网站推荐| 在线观看亚洲a| 在线精品视频一区二区| 国内精品久久久久久久影视麻豆| 亚洲午夜av| 亚洲国产一二三| 欧美精品国产一区| 久久美女艺术照精彩视频福利播放| 欧美在线你懂的| 国产日韩欧美亚洲一区| 国产色产综合产在线视频| 亚洲精品一区二区三区在线观看| 久久精品一区二区国产| 亚洲精美视频| 老司机免费视频久久| 国产欧美日韩中文字幕在线| 欧美极品在线播放| 性欧美大战久久久久久久免费观看| 亚洲美女视频| 欧美成人资源网| 亚洲综合精品一区二区| 国产精品v欧美精品v日本精品动漫| 欧美大学生性色视频| 欧美激情综合网| 欧美视频在线播放| 国产精品亚洲片夜色在线| 欧美成人在线免费视频| 国产目拍亚洲精品99久久精品| 亚洲肉体裸体xxxx137| 亚洲精品一线二线三线无人区| 久久夜色精品国产欧美乱| 国产欧美日韩高清| 午夜免费日韩视频| 影音先锋日韩精品| 欧美体内she精视频在线观看| 亚洲激情另类| 亚洲欧美日韩综合| 亚洲性视频网站| 亚洲国产高清在线观看视频| 国产女主播视频一区二区| 国产人久久人人人人爽| 亚洲国产中文字幕在线观看| 狠狠色香婷婷久久亚洲精品| 国产精品欧美在线| 99国产精品国产精品久久| 亚洲精品国产精品国自产观看| 欧美激情一级片一区二区| 国产欧美日韩在线播放| 亚洲国产精品一区二区久| 欧美国产一区二区三区激情无套| 久久久精品免费视频| 国产一区二区丝袜高跟鞋图片| 91久久香蕉国产日韩欧美9色| 狠狠噜噜久久| 亚洲精品美女91| 精品电影一区| 国产精品亚洲综合色区韩国| 国产精品欧美久久久久无广告| 99国产精品国产精品久久| 欧美成人嫩草网站| 一区二区三区回区在观看免费视频| 亚洲一区二区三区精品视频| 在线免费观看日本一区| 欧美三级日韩三级国产三级| 国产精品免费视频xxxx| 中文av一区二区| av成人毛片| 亚洲国产成人久久| 亚洲高清电影| 欧美体内she精视频在线观看| 欧美黄色影院| 国产亚洲精品综合一区91| 免费高清在线一区| 免费视频亚洲| 亚洲人成网站色ww在线| 国语自产精品视频在线看抢先版结局| 欧美一区影院| 国户精品久久久久久久久久久不卡| 国产精品亚洲不卡a| 久久久久成人精品| 美女日韩在线中文字幕| 国产精品porn| 久久精品日产第一区二区| 亚洲精品一区中文| 久久精品国产v日韩v亚洲| 久久人人97超碰国产公开结果| 亚洲精品乱码久久久久久久久| 精品电影一区| 国产精品一区二区在线观看不卡| 国产精品一区二区男女羞羞无遮挡| 久久精品国亚洲| 欧美在线日韩| 欧美在线日韩精品| 一区二区三区日韩精品| 国产精品萝li| 野花国产精品入口| 宅男噜噜噜66一区二区66| 欧美国产日韩xxxxx| 亚洲一区二区三区在线观看视频| 亚洲国产裸拍裸体视频在线观看乱了中文| 国产精品美女久久| 国产精品扒开腿做爽爽爽软件| 国产一区二区在线观看免费播放| 一本色道久久综合亚洲精品高清| 欧美freesex交免费视频| 国产精品免费观看在线| 久久只有精品| 久久久久久一区二区三区| 欧美午夜不卡在线观看免费| 国产欧美一区二区三区在线看蜜臀| 欧美日韩精品免费观看视一区二区| 黄色成人在线| 亚洲午夜免费福利视频| 欧美黄色免费| 韩国一区二区三区在线观看| 国产美女精品| 欧美人成网站| 国产精品日韩欧美大师| 国产精品v片在线观看不卡| 9l国产精品久久久久麻豆| 久久精品国产亚洲a| 亚洲性人人天天夜夜摸| 亚洲欧美国产日韩中文字幕| 欧美国产综合一区二区| 麻豆精品国产91久久久久久| 国产精品拍天天在线| 亚洲精品国产精品久久清纯直播| 免费成人av资源网| 亚洲影音先锋| 亚洲综合色自拍一区| 国产综合一区二区| 99综合精品| 欧美精品一区二区久久婷婷| 在线亚洲电影| 91久久香蕉国产日韩欧美9色| 久久se精品一区精品二区| 亚洲图色在线| 黑丝一区二区三区| 欧美一区二区三区免费观看视频| 狠狠色噜噜狠狠狠狠色吗综合| 亚洲欧美日韩一区在线| 一区二区三区高清视频在线观看| 一本色道久久综合一区| 亚洲网站在线观看| 久久久青草婷婷精品综合日韩| 亚洲一区黄色| 久久人人爽人人| 久久亚洲精选| 亚洲国产精品一区| 亚洲天堂视频在线观看| 亚洲国产一区二区三区青草影视| 亚洲国产精品久久久久| 久久精品99国产精品酒店日本| 亚洲区第一页| 欧美人与性动交α欧美精品济南到| 在线激情影院一区| 亚洲精品日日夜夜| 快she精品国产999| 国产亚洲美州欧州综合国| 国内精品久久久久久久影视麻豆| 午夜一级久久| 亚洲一区二区三区高清| 国产精品婷婷| 亚洲性线免费观看视频成熟| 欧美日韩伦理在线| 欧美三级视频在线播放| 永久555www成人免费| 亚洲激情国产| 日韩亚洲国产精品| 久久www免费人成看片高清| 欧美日韩一级视频| 欧美日韩精品一区二区三区| 欧美一区在线视频| 老司机久久99久久精品播放免费| 久久综合色综合88| 欧美日韩精品在线| 一本一本久久a久久精品综合麻豆| 欧美在线|欧美| 久久在线精品| 国产精品久久精品日日| 国产亚洲综合精品| 欧美一乱一性一交一视频| 欧美日韩精品二区第二页| 国产精品精品视频| 国产精品亚洲人在线观看| 欧美黑人在线观看| 欧美裸体一区二区三区| 欧美日韩在线免费观看| 欧美日韩激情网| 中文精品在线| 国产一区二区高清| 欧美一区二区三区免费观看视频| 欧美一级在线播放| 欧美激情欧美激情在线五月| 日韩一区二区免费高清| 在线日韩欧美| 黄色综合网站| 亚洲欧美日韩精品久久奇米色影视| 午夜精品久久久久久99热软件| 亚洲尤物在线视频观看| 国产麻豆91精品| 国产午夜精品视频| 国产资源精品在线观看| 亚洲一区二区三区色| 午夜在线观看免费一区| 亚洲欧洲免费视频| 久久精品青青大伊人av| 欧美午夜电影在线|