【摘要】：基于Petri網(wǎng)的數(shù)字系統(tǒng)的建模及其硬件實現(xiàn)方法已經(jīng)得到了廣泛的研究,然而現(xiàn)有的方法主要適用于同步電路,由此提出了一種基于Petri網(wǎng)的數(shù)字系統(tǒng)建模和VHDL實現(xiàn)的新方法。首先定義了一種廣義同步自控網(wǎng)系統(tǒng),解決了數(shù)字系統(tǒng)的Petri網(wǎng)建模問題�；谝环N帶優(yōu)先級的多輸入多時鐘D觸發(fā)器,設(shè)計了對應(yīng)的軟IP核,進(jìn)而探討了廣義同步自控網(wǎng)系統(tǒng)模型到VHDL代碼的具體轉(zhuǎn)換方法。設(shè)計的CAD工具支持?jǐn)?shù)字系統(tǒng)的建模、功能分析與代碼轉(zhuǎn)換功能。通過設(shè)計示例表明了所述方法和相關(guān)工具的有效性。
【圖文】：

?六元組(Σ=(P，T;F，K，，W，M)構(gòu)成廣義自控網(wǎng)系統(tǒng)的條件是:a)N=(P，T;F)構(gòu)成有向網(wǎng)，稱為Σ的基網(wǎng)。b)K={KL，KH}稱為N上的容量函數(shù)。KL:P→Ｒ;KH:P→Ｒ。KL和KH分別稱為下界容量函數(shù)和上界容量函數(shù)。

本文編號：2676769