《電子技術應用》
您所在的位置:首頁 > 可編程邏輯 > 設計應用 > 基于RTL綜合策略的狀態機優化方案
基于RTL綜合策略的狀態機優化方案
摘要: 有限狀態機及其設計技術是數字系統設計中的重要組成部分,是實現高效率、高可靠性邏輯控制的重要途徑。大部分數字系統都可以劃分為控制單元和數據單元兩個組成部分。通常,控制單元的主體是一個狀態機,它接收外部信號以及數據單元產生的狀態信息,產生控制信號序列。
Abstract:
Key words :

   有限狀態機及其設計技術是數字系統設計中的重要組成部分,是實現高效率、高可靠性邏輯控制的重要途徑。大部分數字系統都可以劃分為控制單元和數據單元兩個組成部分。通常,控制單元的主體是一個狀態機,它接收外部信號以及數據單元產生的狀態信息,產生控制信號序列。狀態機性能的好壞對系統性能有較大的影響。良好的狀態機的實現不僅與狀態機的設計有關,而且與采用的綜合策略密切相關,不同的綜合策略對最終實現的狀態機的性能有很大的影響。

  Synopsys公司的DC (Design Compiler,設計編譯程序)提供了針對狀態機的綜合優化策略,這個過程既可以完全自動進行,也可以手工進行。本文論述了兩種綜合策略的實現。

  1 狀態機的基礎描述

  從數學的角度看,有限狀態機可以表示為一個五元組M = (I, O, S,δ,λ) 。其中: I和O 分別表示輸入、輸出量; S 為狀態向量;δ為次態方程(δ: S ×I) ;λ為輸出方程(λ: S ×I) 。

  從實際狀態機的實現角度出發,根據輸出方程,有限狀態機可以分為3類:

  a) 輸出是狀態向量和輸入的函數———Mealy型狀態機(λ: S ×I →O ) ;

  b) 輸出僅是狀態向量的函數———Moore 型狀態機(λ: S →O ) ;

  c) 輸出等于狀態向量———狀態輸出型狀態機(λ: S = O ) 。

  在實際中最常用的狀態機是Mealy型和Moore型狀態機。

  從電路的角度看,有限狀態機是由觸發器、寄存器和組合邏輯組合成的系統,圖1展示了有限狀態機的一般結構:一組保存狀態向量的觸發器,產生次狀態和輸出的組合邏輯。

 

  

  圖1 有限狀態機一般結構

 

  1.1 狀態表

  為了采用DC的有限狀態機優化策略,必須首先把原始的狀態機轉換為用DC狀態表描述的格式,這種轉換可以自動完成,也可以手動完成。Synopsys的狀態表提供了一種簡單的、獨立于工藝的有限狀態機描述方式。下面是一個狀態表的例子

  # State table body

  Input PresentNextOutput

  Value State State Values

  0 RESET RESET 00

  1 RESET STATE1 01

  0 STATE1 RESET 10

  1 STATE1 STATE1 11

  # Preferred state encoding

  .encoding

  RESET 2#00

  STATE1 2#01

  狀態表的主體由行組成,每一行描述狀態機的一個特定的狀態轉換。每行有4列:輸入值,當前態,次態,輸出值。有的輸入可以引發狀態轉換,有的則不會。從狀態表可以很容易看出狀態機的轉換行為。狀態表還可以包含一個可選的部分,用于給出首選的狀態編碼,這些狀態編碼可以以十進制、二進制或者十六進制給出。

  例子中的狀態表包括: 1個輸入; 2個狀態,即RESET和STATE1; 4種輸出,即RESET和STATE1分別編碼為0 和1。RESET態只在輸入為1 時轉換到STATE1態,輸出變為01,而STATE1態只在輸入為0時轉換到RESET態,輸出變為10。

  例子中所有可能的輸入輸出和狀態組合都被用到了,如果狀態機用到的狀態少于可用的編碼,便可以創建只包含所需要使用的狀態轉換的狀態表,其他未指明的狀態則按不關心態處理。

  1.2 狀態向量

  狀態向量是描述狀態機的元素之一,是通過觸發器實例名稱的有序列表來指定的。指定的觸發器存儲了有序的位模式,這些位模式定義了有限狀態機在任何給定時刻的當前狀態。一個特定的觸發器位模式與一個狀態相對應。例如, ff1、ff2、ff3是觸發器的實例名稱,則列表{ ff1 ff2 ff3}定義了一個3位的狀態向量,這個狀態向量可以表示不多于8個狀態的有限狀態機。

  1.3 狀態編碼

  狀態編碼是描述狀態機的另一個元素。有限狀態機的狀態編碼用符號定義了狀態機的所有合法狀態的位編碼。編碼確定哪些狀態向量的位模式代表合法狀態,哪些位模式可以當作不關心態。不關心態提高了工具達到好的優化結果的可能性。大多數以HDL (硬件描述語言)或狀態表給出的設計,DC可以直接從代碼中提取出狀態編碼。在工具不能得到狀態編碼時要使用命令set_fsm_encoding來手動建立狀態編碼。對于以其他形式給出的設計,必須使用命令set_fsm_encoding手工建立狀態編碼。

  1.4 編碼風格

  DC在優化中可以使用one2hot (單狀態) 、二進制、格雷碼和自動編碼4種類型中的一種來分派狀態機的狀態。不同的編碼風格可以導致具有很大差異的優化結果。

  One2hot風格編碼使用與狀態機狀態數相等的位來編碼狀態,每一個狀態的編碼只有1位是1,其余各位都是0,所以這種編碼方式需要與狀態數相等數目的觸發器。這種編碼方式簡化了組合邏輯,可以獲得最快的速度,但同時會大大增加設計的面積。二進制和格雷碼編碼方式按照一定的順序用二進制序列或者格雷碼序列來表示狀態機的狀態,這兩種編碼方式可以降低所需的觸發器的數目,但速度不及one2hot編碼方式。自動編碼方式使用一種隨機的風格產生狀態編碼,這種編碼能在使用最短編碼長度的情況下最大限度地降低組合邏輯的復雜度。采用什么樣的編碼風格,要根據設計需要進行選擇。

 

  2 狀態機優化策略及實施

 

  狀態機的優化包括兩步,首先是提取狀態機邏輯,然后是優化基于內部狀態表表示的狀態機。這個過程既可以完全自動進行,也可以手工進行。自動優化策略需要DC2Ultra的許可證(license) ,手動優化策略需要DC2Expert的許可證。

  2.1 基于DC Ultra的自動優化策略

  自動優化策略由讀和編譯兩個階段組成。

  a) 讀階段:讀進HDL或者以狀態表描述的設計;自動偵測狀態機的觸發器;標明狀態機的狀態向量和狀態編碼特性。

  b) 編譯階段:重新劃分包含狀態機的設計層次;從劃分后的設計中提取狀態機;確定編碼風格;如果可能,減小轉態數;分派狀態;基于狀態機的邏輯網表產生DC內部數據結構的狀態分派;展平新創建的設計層次;繼續其他DC優化步驟。

  圖2是自動優化的流程,其中列出了不同的可選命令,可以根據不同的設計進行取舍。

 

  

  圖2 基于DC Ultra的有限狀態機自動優化流程

 

  2.2 基于DC2Expert的手動優化策略

  當輸入設計文件不是以HDL描述的,或者DC不能從HDL文件中自動識別出狀態機時,就要采用手動優化策略。

  圖3為手動優化策略的基本流程,其中展示了使用的命令、描述狀態機的狀態表和網表之間的關系。

 

  

  圖3 FSM 手機優化命令算法

 

  從圖3中可以看出,手動優化包括網表生成、狀態表提取、基于狀態表的優化和網表映射4 個階段。Compile命令基于輸入的HDL 文件生成網表, Extract命令基于網表生成狀態表, Compile命令再基于狀態機優化的狀態表生成映射的網表。可選命令reduce_fsm和minimize_fsm基于狀態表操作, reduce _fsm試圖降低狀態機相關的組合邏輯的復雜度, minimize_fsm則試圖減少狀態數目。

  手動優化包含如下步驟:

  (b)將設計讀入DC。

  如果設計不是以狀態表格式給出的,按如下步驟提取狀態表:

  運行comp ile2map_effort low得到一個輸入文件的網表;

  根據需要使用set_fsm_state_vector指定狀態向量;

  使用group2fsm 將狀態機邏輯劃分到一個單獨的模塊,并將該模塊設為當前設計;

  使用set_fsm_encoding分派狀態機狀態;

  使用extract從設計中提取狀態機邏輯;

  根據需要使用reduce_fsm降低狀態機相關的組合邏輯的復雜度;

  根據需要使用minimize_fsm,則試圖減少狀態數目;使用minimize_fsm,則試圖減少狀態數目。

  c) 根據需要選用適當的命令,修改基于狀態表的狀態機的屬性,如狀態向量、狀態編碼、編碼風格等。

  d) 指定電路級約束條件和屬性。

  e) 編譯整個設計。

  圖4是提取狀態機的流程。

 

  

  圖5是基于狀態表的優化流程。

 

  

 

  3 應注意的問題

 

  并非所有的有限狀態機都可以使用本文所介紹的優化策略,原始的設計文件應該滿足下列條件:

  a) 所有的端口應該僅為輸入或者輸出端口,不支持輸入輸出端口。

  b) 當一個模塊中有多個狀態機時,每次編譯時只能提取出1個狀態機,而提取哪個狀態機是隨機的,所以推薦每個模塊僅包含1個有限狀態機。

  c) 狀態機只能包含1個時鐘。

 

  4 結束語

 

  采用本文介紹的優化策略,在不改變源代碼的前提下,較之標準編譯過程可以有效地提高狀態機的性能。但因為在優化過程中特別是手動優化過程中對狀態重新進行了編碼,如果新的編碼與原來的編碼不一致,會導致邏輯錯誤,所以在使用這一策略時還要輔以其他手段進行邏輯驗證。

此內容為AET網站原創,未經授權禁止轉載。
欧美激情办公室aⅴ_国产欧美综合一区二区三区_欧美午夜精品久久久久免费视_福利视频欧美一区二区三区

          国产亚洲综合精品| 久久久精品性| 欧美精品一区三区在线观看| 欧美一区二区三区在线播放| 欧美精品大片| 夜夜嗨一区二区| 久久精精品视频| 欧美区一区二| 国产精品免费一区二区三区观看| 久久午夜av| 亚洲理论在线| 欧美日本在线| 亚洲一区中文| 亚洲精品乱码| 欧美一区亚洲| 国产精品女主播一区二区三区| 女生裸体视频一区二区三区| 99国产一区| 狠狠噜噜久久| 你懂的成人av| 久久久久成人精品免费播放动漫| 黑丝一区二区三区| 久久成人国产| 亚洲免费在线| 99这里有精品| 亚洲欧洲一级| 欧美三级网页| 亚洲综合社区| 国产日韩欧美一区在线| 老司机一区二区三区| 国产精品av久久久久久麻豆网| 亚洲毛片av| 国内精品一区二区| 午夜精品久久久久99热蜜桃导演| 亚洲专区在线| 国产精品久久久久久久免费软件 | 久久久夜精品| 国产午夜久久| 中文日韩在线| 亚洲欧美久久| 校园激情久久| 久久五月天婷婷| 欧美在线视频一区二区三区| 欧美国产三区| 国产精品vip| 国产主播精品| 亚洲午夜久久久久久尤物| 欧美日韩一区二区视频在线| 欧美日本中文| 亚洲国产高清一区| 亚洲毛片一区| 香蕉久久夜色精品国产| 久久九九国产| 黄色欧美成人| av成人黄色| 亚洲一区欧美二区| 你懂的国产精品| 国产一区自拍视频| 99国产精品99久久久久久粉嫩| 99www免费人成精品| 国产伦一区二区三区色一情| 六月婷婷一区| 国模一区二区三区| 99视频一区| 久久国产一区二区| 激情欧美丁香| 美女被久久久| 极品中文字幕一区| 亚洲欧美日本国产专区一区| 欧美一区不卡| 99精品免费| 欧美成人在线免费观看| 伊人久久大香线蕉av超碰演员| 国产亚洲在线| 欧美黄色aaaa| 国产精品毛片在线| 欧美日韩在线一二三| 99亚洲伊人久久精品影院红桃| 老司机精品福利视频| 亚洲三级影院| 欧美女人交a| 香蕉久久夜色精品| 伊人天天综合| 欧美国产免费| 亚洲欧美日韩精品一区二区| 亚洲视频日本| 欧美一区二视频在线免费观看| 99精品视频免费| 国精品一区二区三区| 蜜乳av另类精品一区二区| 亚洲激情国产| 激情视频一区| 国外成人免费视频| 欧美一区二区三区另类| 亚洲一区三区视频在线观看| 亚洲网站在线| 欧美日韩p片| 久久五月天婷婷| 免费看的黄色欧美网站| 国产欧美一区二区视频| 在线成人h网| 激情文学一区| 亚洲第一精品影视| 黄色亚洲免费| 亚洲婷婷免费| 亚洲午夜高清视频| 国产精品豆花视频| 欧美日韩一区二区三区在线观看免| 亚洲欧美日韩精品在线| 国产精品伊人日日| 亚洲免费网站| 久久久精品网| 久久一区免费| 欧美少妇一区| 精品999网站| 影音欧美亚洲| 国产一区二区三区成人欧美日韩在线观看 | 久久亚洲图片| 久久午夜av| 欧美日韩三级| 在线观看成人av电影| 在线播放精品| 国产精品美女诱惑| 蜜桃久久av| 欧美午夜一区| 亚洲欧洲日本国产| 国产日韩欧美一区二区三区在线观看| 日韩亚洲国产精品| 久久精品国产99精品国产亚洲性色| 久久aⅴ国产紧身牛仔裤| 欧美大片专区| 亚洲开发第一视频在线播放| 亚洲精品麻豆| 久久精品女人| 激情久久久久久| 国产亚洲高清视频| 欧美ab在线视频| 亚洲经典在线看| 免费不卡亚洲欧美| 国内精品久久久久久久果冻传媒 | 亚洲一级电影| 国产精品一区二区你懂得| 久久aⅴ国产紧身牛仔裤| 欧美日韩爆操| 在线综合亚洲| 国内一区二区三区| 国产亚洲福利| 好看的av在线不卡观看| 亚洲欧美日本国产专区一区| 国产精品高清一区二区三区| 国产亚洲精品v| 国产伊人精品| 久久久久久久高潮| 亚洲日韩视频| 欧美婷婷久久| 麻豆成人小视频| 在线观看一区| 欧美一区精品| 国产精品女主播一区二区三区| 欧美另类高清视频在线| 欧美中文字幕| 国产伦精品一区二区三| 韩国av一区| 欧美成人高清| 久久av在线| 国产欧美日韩亚洲一区二区三区| 欧美日韩伊人| 老司机久久99久久精品播放免费| 在线 亚洲欧美在线综合一区| 久久精品国产99精品国产亚洲性色| 亚洲精品国产精品国自产观看| 欧美黄色一区| 久久精品日产第一区二区| 亚洲色诱最新| 亚洲欧洲久久| 日韩图片一区| 亚洲视频成人| 亚洲欧美日韩国产综合精品二区| 一本色道久久精品| 亚洲久久成人| 中文亚洲字幕| 亚洲一区二区四区| 国产精品美女xx| 国产精品乱码| 国产精品一区二区欧美| 国产精品视频久久一区| 在线视频免费在线观看一区二区| 亚洲高清免费| 最新亚洲一区| 国产日韩在线一区二区三区| 一区二区三区欧美成人| 99精品视频免费观看视频| 99热这里只有精品8| 一区二区三区四区五区在线| 国产日韩欧美在线播放不卡| 亚洲影视在线| 欧美伊人久久| 激情综合中文娱乐网| 在线日韩中文| 国产精品久久久久9999高清| 亚洲一区二区三区高清| 久久久久久国产精品mv| 欧美粗暴jizz性欧美20| 亚洲午夜精品久久久久久app| 亚洲区一区二| 蘑菇福利视频一区播放| 欧美精品首页| 一本色道久久综合亚洲二区三区| 国产人成精品一区二区三| 久久国产精品毛片| 国产精品国色综合久久| 一区二区三区四区五区精品| 美日韩免费视频| 亚洲天堂成人| 香蕉久久久久久久av网站| 欧美黄色免费| 国产三区二区一区久久| 女女同性女同一区二区三区91| 国产精品国产亚洲精品看不卡15| aa国产精品| 欧美福利精品| 国产日韩一区二区| 极品中文字幕一区| 久久只有精品| 国产欧美精品久久| 国产精品xvideos88| 国产亚洲综合精品| 国内精品久久久久久久影视麻豆| 国产精品免费看| 黄色欧美日韩| 久久一区欧美| 国产日韩欧美一区二区| 国产综合18久久久久久| 久久激情网站| 国产精品视频免费一区| 亚洲国产一区二区三区a毛片| 老牛嫩草一区二区三区日本| 一区二区三区av| 在线观看视频日韩| 国产精品xxx在线观看www| 久久精品九九| 免费一区二区三区| 国产精品久久久久久久免费软件| 狠狠入ady亚洲精品经典电影| 久久男女视频| 欧美一级播放| 亚洲在线观看| 亚洲一区二区动漫| 亚洲精品精选| 尤物在线精品| 激情国产一区| 激情久久综合| 亚洲午夜精品久久久久久浪潮| 女同一区二区| 欧美在线精品一区| 六月丁香综合| 久久婷婷一区| 久久一区二区精品| 久久永久免费| 欧美91福利在线观看| 久久综合伊人| 欧美一区1区三区3区公司 | 亚洲国内自拍| 精品动漫一区| 在线高清一区| 亚洲美女一区| 国产精品试看| 欧美专区一区二区三区| 久久久久久亚洲精品杨幂换脸| 亚洲综合精品| 久久婷婷丁香| 欧美午夜精品| 怡红院精品视频在线观看极品| 亚洲午夜精品福利| 日韩一级大片| 久久久久久9| 午夜免费电影一区在线观看| 国产综合精品| 日韩午夜免费| 久久一区二区三区av| 国产一区二区三区无遮挡| 亚洲福利电影| 欧美亚洲免费高清在线观看| 欧美精品观看| 亚洲国产日韩综合一区| 亚洲一区二区伦理| 欧美黄色一区| 国产日韩1区| 欧美特黄一级| 欧美一级专区| 一区精品久久| 久久久精品国产一区二区三区| 国内视频精品| 久久精品盗摄| 亚洲日本视频| 午夜欧美精品久久久久久久| 亚洲黄网站黄| 欧美激情第10页| 99精品视频免费| 欧美精品啪啪| 国产精品视频福利| 亚洲小说区图片区| 久久一区亚洲| 中国成人亚色综合网站| 欧美日韩国产一区精品一区| 一本一道久久综合狠狠老精东影业 | 久久久国产精品一区二区中文| 欧美福利一区| 国产欧美丝祙| 精品91在线| 欧美高清视频一区| 亚洲一区三区在线观看| 欧美日韩mv| 蜜桃av噜噜一区二区三区| 91久久极品少妇xxxxⅹ软件| 久久亚洲视频| 国产伦精品一区二区三| 最新国产乱人伦偷精品免费网站| 午夜国产精品视频免费体验区| 国产精品美女久久久| 亚洲第一毛片| 黄色欧美成人| 国产精品国产一区二区| 久久亚洲高清| 美女国产精品| 亚洲综合视频一区| 国产美女诱惑一区二区| 亚洲三级影院| 黄色精品一区| 国户精品久久久久久久久久久不卡| 久久久久久9| 久久精品欧美| 久久久综合香蕉尹人综合网| 亚洲欧美日韩国产| 久久av一区二区三区| 午夜一区不卡| 噜噜爱69成人精品| 久久九九精品| 久久男女视频| 欧美日韩高清免费| 欧美午夜电影在线观看| 欧美亚州在线观看| 一区精品在线| 国产欧美日韩一区二区三区| 国产欧美一区二区三区国产幕精品| 一区二区三区四区国产| 国产亚洲精品v| 免费看的黄色欧美网站| 久久婷婷麻豆| 国产精品国产精品| 亚洲国产欧洲综合997久久| 亚洲国产免费看| 一区二区av| 久久久久国内| 欧美日韩国产在线一区| 黄色成人av网站| 一本色道久久综合亚洲精品婷婷| 国产精品资源| 欧美日韩免费观看一区=区三区| 狠狠色综合色区| 国产日韩一区二区三区| 久久激情久久| 狠狠久久婷婷| 国产精品最新自拍| 欧美日韩在线播放一区二区| 亚洲免费激情| 老牛嫩草一区二区三区日本 | 一本色道久久综合| 西西人体一区二区| 国产精品二区影院| 国产欧美日韩亚洲一区二区三区| 久久免费高清| 精品电影一区| 免费在线亚洲欧美| 国内精品嫩模av私拍在线观看| 国产欧美日韩亚洲| 欧美另类视频| 国产精品日本欧美一区二区三区| 午夜精品偷拍| 国产亚洲欧洲| 国模吧视频一区| 欧美亚洲一级| 亚洲激情啪啪| 你懂的成人av| 亚洲影院一区| 日韩午夜av在线| 欧美欧美全黄| 久久本道综合色狠狠五月| 伊人成人在线视频| 久久一区国产| 国产精品美女诱惑| 亚洲国产专区| 国产精品yjizz| 你懂的亚洲视频| 免费视频一区| 国产区二精品视| 99精品视频免费观看| 激情久久五月| 韩日在线一区| 狠狠久久婷婷|