• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于模型檢測的機載電子硬件驗證方法研究

    2019-08-23 05:34金志威田毅蘆浩王鵬
    現(xiàn)代電子技術 2019年16期
    關鍵詞:民用航空狀態(tài)機

    金志威 田毅 蘆浩 王鵬

    摘? 要: 模型檢測技術已廣泛應用于計算機硬件、通信協(xié)議、控制系統(tǒng)等領域,在民用航空領域如何采用模型檢測技術開展硬件符合性驗證,成為設計及驗證人員待解決的問題。文中介紹模型檢測方法的驗證機理,并提出使用該方法作為機載電子硬件的補充驗證方案。以PCI總線狀態(tài)機模塊作為驗證對象,開展模型檢測補充驗證,確定了狀態(tài)機各狀態(tài)轉移路徑的正確,說明了該方法的合理性。

    關鍵詞: 民用航空; 模型檢測; 機載電子硬件; 驗證方案; PCI總線; 狀態(tài)機

    中圖分類號: TN609?34; V243? ? ? ? ? ? ? ? ? ? ?文獻標識碼: A? ? ? ? ? ? ? ? ? ? ?文章編號: 1004?373X(2019)16?0006?04

    0? 引? 言

    隨著科技的飛速發(fā)展,微電子技術的應用不斷延伸到生活中的各個領域。由于其具有低功耗、高性能、高容量等優(yōu)良特性,微電子技術在產品中實現(xiàn)信息存儲、處理以及加工等重要功能。然而隨著系統(tǒng)復雜度的不斷增加,為了確保設計的安全性及可靠性,如何進行全面且完整的驗證給驗證工程師帶來了巨大的挑戰(zhàn)。

    在民用航空等高安全性領域,電子硬件的功能覆蓋率及代碼覆蓋率是衡量設計及驗證工作的重要指標[1]。在高安全性等級的設計中,驗證人員將花費大量的時間搭建驗證平臺,編制測試激勵來獲取100%的覆蓋率數(shù)據(jù)。特別對于帶有多狀態(tài)、路徑復雜的狀態(tài)機設計,往往大量的測試激勵也難以覆蓋到所有的狀態(tài)路徑。由此一方面大幅度增加了驗證人員的工作量,延長了項目的研制生命周期;另一方面從適航角度講,對于A/B級機載電子硬件,在審查過程中若存在未覆蓋到的狀態(tài)轉移路徑,則無法滿足代碼覆蓋的要求[2]。因此,有必要在驗證過程中,針對復雜狀態(tài)機采用更加有效的方法進行補充驗證,提高項目的驗證效率,進而提高設計的安全性指標。

    本文將討論模型檢測方法在機載電子硬件驗證過程中的應用,并以PCI總線從端口設計為例,利用模型檢測工具NuXMV實踐相關方法。實驗結果表明,在機載電子硬件驗證過程中,對狀態(tài)機使用模型檢測方法搭建模型,能夠有效對狀態(tài)機進行驗證,對難以獲取狀態(tài)轉移覆蓋度的設計進行補充驗證,有效提高了驗證效率并確保了設計的安全及可靠。

    1? 模型檢測方法

    模型檢測是通過搜索待驗證系統(tǒng)模型的有窮狀態(tài)空間來檢驗系統(tǒng)的行為是否具備預測屬性的一種自動驗證技術。該方法由E. A. Emerson等于1981年首次提出[3],目前已經被廣泛應用于計算機、軟件、通信、微電子等多個領域。

    模型檢測基本思想是:假設模型Μ是一個有窮狀態(tài)轉換系統(tǒng)的抽象,屬性φ是該系統(tǒng)的時態(tài)邏輯公式描述。可使用公式Μ╞φ來表示模型M是屬性φ的一個模型,進而說明系統(tǒng)滿足了所有期望屬性。將Μ和φ輸入模型檢查器,當Μ╞ φ語義推導成立,模型檢查器輸出“TRUE”,否則輸出“FALSE” [4]。由于模型檢測使用系統(tǒng)描述語言對模型進行抽象,并且使用CTL(分支時序邏輯)或LTL[5](線性時序邏輯)模型檢測算法來抽象系統(tǒng)屬性,因此該方法具有檢驗過程自動化、無需外加測試激勵、檢測速度快、反例定位準確等特點。

    通??蓪⒛P蜋z測過程劃分為3個步驟,分別為系統(tǒng)建模、屬性描述和算法運行[6],如圖1所示。系統(tǒng)建模:對有窮狀態(tài)轉換系統(tǒng)采用Kripke結構或自動機等狀態(tài)模型進行模型搭建,獲得模型M。屬性描述:采用CTL或LTL公式描述系統(tǒng)的屬性,獲得屬性φ;算法運行:將模型M和屬性φ輸入到模型檢測算法(工具)中并運行,對系統(tǒng)進行驗證,若Μ╞φ,則輸出TRUE,否則給出反例。

    2? 基于模型檢測的補充驗證

    針對復雜機載電子硬件的設計,RTL層級的驗證工作主要包括功能覆蓋和代碼覆蓋兩方面。代碼覆蓋用于檢查設計中哪些代碼在驗證期間被執(zhí)行過,是否存在冗余代碼以及無法達到的路徑等情況。功能覆蓋也可稱為基于需求的覆蓋,是代碼覆蓋的補充,用于衡量驗證對象是否實現(xiàn)了設計者所期望的功能。

    功能覆蓋率的要求需要達到100%,即證明此設計實現(xiàn)了所有功能需求。代碼覆蓋率根據(jù)機載電子硬件的設計保證等級(DAL)的高低有所不同,對于DAL為A和B等級的機載電子硬件,不但要求語句、分支、條件、表達式等覆蓋率,還要求狀態(tài)轉移覆蓋率達到100%,即應當覆蓋到設計中狀態(tài)機的所有狀態(tài)轉移路徑。

    圖2為基于模型檢測的補充驗證流程。復雜設計驗證中功能覆蓋率和代碼覆蓋率的數(shù)據(jù)收集是反復迭代的過程。若硬件設計中存在大規(guī)模、多狀態(tài)的有限狀態(tài)機,當使用傳統(tǒng)的驗證方法難以收集到100%的狀態(tài)轉移覆蓋率時,則可通過模型檢測的方式對設計進行補充驗證,當其他覆蓋率也達到要求之后,則驗證工作結束。

    3? 案例實施

    PCI總線是先進的高性能局部總線,可同時支持多個外圍設備。該總線不受制于處理器,其主要作用在于為中央處理器及高速外圍設備提供一座運輸橋梁,提高數(shù)據(jù)吞吐量?,F(xiàn)如今基于PCI總線的VbPCI(Virtual backplane PCI)總線已被霍尼韋爾應用其PC架構中,同時PCI總線被廣泛應用在航空測試系統(tǒng)中。

    3.1? 案例描述

    圖3所示為PCI從接口的系統(tǒng)框圖,由圖可知,此硬件設計分為8個功能模塊,其核心部分為狀態(tài)機模塊。

    IP核的控制狀態(tài)機模塊一方面按照PCI總線協(xié)議,結合總線的輸入控制信號,經過分析,發(fā)送出相應的總線輸出信號;另一方面,通過判斷PCI總線事務,并結合本地端口的控制信號,完成PCI總線對從設備的各操作事務,包括配置、讀、寫、重試、錯誤中斷等。

    該模塊的硬件程序為一個12狀態(tài)的狀態(tài)機,狀態(tài)包括idle(空閑)、config_wait(配置等待)、config_ready(配置準備)、config(配置)、rw_wait(讀寫等待)、rw_ready(讀寫準備)、read_wait(讀等待)、rw(讀寫)、last_rw(最后讀寫)、retry(重試)、abort(停止)和backoff(返回)。通過控制狀態(tài)機各狀態(tài)的跳轉,完成總線的配置、讀、寫等操作的使能信號輸出,進而實現(xiàn)總線的數(shù)據(jù)傳輸。

    3.2? 模型檢測工具

    模型檢測方法的主要特點是能夠自動化驗證,因此該方法離不開成熟的模型檢測工具的支持。模型檢驗工具通常要求采用時序邏輯來描述系統(tǒng)的設計規(guī)范,利用BDD(二叉判定圖)表示電路實現(xiàn)的狀態(tài)及狀態(tài)之間的轉移關系,通過遍歷BDD來檢驗電路的設計是否滿足規(guī)范,如果不滿足則給出反例[7]。目前可用的工具如Bell實驗室的SPIN[8]、瑞士的Uppsala大學和丹麥的Aalborg大學聯(lián)合開發(fā)的UPPAAL[9]、新加坡國立大學PAT小組開發(fā)的PAT[10]工具,以及卡內基梅隆大學的SMV,NuSMV[11]及NuXMV等。

    本案例將采用NuXMV作為模型檢測工具。NuXMV擴展于NuSMV工具,其在算法和驗證引擎上進行了進一步提升,支持LTL和CTL描述的所有規(guī)范;對于有限狀態(tài)的情形,NuXMV特點是基于SAT算法的有效驗證引擎;通過定義良好的軟件體系結構,更方便用戶操作[12],是一款比較常用的模型檢測工具。

    3.3? 模型搭建

    3.3.1? 模型檢測算法

    模型檢測算法是通過遍歷狀態(tài)空間檢測屬性在系統(tǒng)模型中是否成立來實現(xiàn)。通常將模型檢測算法分為CTL(分支時序邏輯)和LTL(線性時序邏輯)。CTL模型檢測算法是采用分支時序邏輯來描述系統(tǒng)的屬性。在CTL算法中,通常將系統(tǒng)模型描述為分支結構,在該結構中,“未來”的屬性是未知的,會有多種可能發(fā)生。LTL算法是采用線性、離散且與自然數(shù)同構的時間結構,將時序邏輯與命題邏輯相結合,進而描述系統(tǒng)屬性以及系統(tǒng)在執(zhí)行路徑上的性質[13]。

    3.3.2? 模型抽象

    定義 假定Atoms是一組原子命題集合,在Atoms上定義Kripke結構模型M為一個四元組M=。其中:S={st1,st2,…,stn}是一個有限狀態(tài)集合;Σ={input1,input2,…,inputn}是一個有限輸入集合,可以是狀態(tài)或是其他變量;“→”表示全部狀態(tài)轉移關系,即對[?] "st∈S都[?]st′∈S,滿足st→st′;?表示對所有原子命題的一個真賦值 [14],即?:S→p(Atoms)。

    將上述定義代入PCI總線從接口的狀態(tài)機模塊中,其狀態(tài)轉移過程描述如圖4所示。FSM狀態(tài)S={idle, config_wait, config_ready, config, rw_wait, rw_ready, read_wait, rw, last_rw, retry, abort, backoff}。其中:狀態(tài){idle}表示空閑;狀態(tài){retry}表示重試;狀態(tài){abort}表示終止;狀態(tài){backoff}表示返回;其他狀態(tài)分別為PCI總線的配置、讀、寫等事務操作狀態(tài)。

    3.4? 結果分析

    使用NuXMV對PCI狀態(tài)機模塊模型進行分析,部分檢測結果如圖5所示。同樣以配置操作為例,其結果輸出顯示該操作的屬性描述為True,證明該條狀態(tài)轉移路徑正確。

    通過分析其他檢測結果發(fā)現(xiàn),PCI狀態(tài)機模塊中的所有狀態(tài)轉移路徑均為正確,實現(xiàn)了對狀態(tài)轉移覆蓋的補充驗證。在模型檢測過程中,當存在錯誤的狀態(tài)轉移路徑時,工具會自動生成不滿足系統(tǒng)屬性的反例,即說明模型或屬性存在缺陷。通過分析定位錯誤后,設計人員和驗證人員進行修改,最終實現(xiàn)設計及驗證的目標。

    4? 結? 語

    模型檢測方法由于無需編寫測試激勵且可自動化開展驗證等優(yōu)點,廣泛應用于有窮狀態(tài)系統(tǒng)的驗證過程。在民用航空領域,對于高安全等級的機載復雜電子硬件,當設計中存在大規(guī)模狀態(tài)機時,為了滿足代碼覆蓋要求,使用傳統(tǒng)的驗證方法將耗費大量的人力及時間。文中以PCI總線狀態(tài)機模塊為研究對象,采用模型檢測作為設計的補充驗證方法,使用NuXMV模型檢測工具對設計開展驗證,并獲取驗證結果。結果表明,采用模型檢測方法對設計進行補充驗證,能夠快速有效地明確狀態(tài)轉移路徑的正確性,對狀態(tài)轉移覆蓋率進行補充,為驗證人員提供了一種新的驗證方案。

    參考文獻

    [1] MINER P S, CARRENO V A, MALEKPOUR M, et al. A case?study application of RTCA DO?254: design assurance guidance for airborne electronic hardware [C]// Proceedings of 19th Digital Avionics Systems Conference. Philadelphia: IEEE, 2000: 1?5.

    [2] European Aviation Safety Agency. Certification memorandum: development assurance of airborne electronic hardware [EB/OL]. [2011?08?11]. https://www.easa.europa.eu/sites/default/files/dfu/certification?docs?certification?memorandum?EASA?CM?SWCEH?001?Development?Assurance?of?Airborne?Electronic?Hardware.pdf.

    [3] CLARKE E M. The birth of model checking [EB/OL]. [2015?11?27]. http://www.doc88.com/p?9912184698556.html.

    [4] CLARKE E M, EMERSON E A, SIFAKIS J. Model checking: algorithmic verification and debugging [J]. Communications of the ACM, 2009, 52(11): 74?84.

    [5] PU F, ZHANG W H. Combining search space partition and search space partition and abstraction for LTL model checking [J]. Science in China series F information sciences, 2007, 50(6): 793?810.

    [6] 林惠民,張文輝.模型檢測:理論、方法與應用[J].電子學報,2002,30(z1):1907?1912.

    LIN Huimin, ZHANG Wenhui. Model detection: theories, techniques and applications [J]. Acta electronica sinica, 2002, 30(S1): 1907?1912.

    [7] 化希耀,蘇博妮,陳立平,等.模型檢測技術研究綜述[J].塔里木大學學報,2013,25(4):119?124.

    HUA Xiyao, SU Boni, CHEN Liping, et al. A survey of model checking [J]. Journal of Tarim University, 2013, 25(4): 119?124.

    [8] HOLZMANN G J, PELED D. The state of spin [C]// Proceedings of the 8th International Conference on Computer?Aided Verification. Berlin: Springer, 1996: 383?389.

    [9] BENGTSSON J, LARSEN K, LARSSON F, et al. UPPAAL: a tool suite for automatic verification of real?time systems [C]// Proceedings of International Hybrid Systems Workshop. Berlin: Springer, 1995: 232?243.

    [10] SUN J, LIU Y, DONG J S, et al. PAT: towards flexible verification under fairness [C]// Proceedings of the 21st International Conference on Computer Aided Verification. Berlin: Springer, 2009: 709?714.

    [11] CIMATTI A, CLARKE E, GIUNCHIGLIA F, et al. NuSMV: a new symbolic model checker [J]. International journal on software tools for technology transfer, 2000, 2(4): 410?425.

    [12] CAVADA R, CIMATTI A, DORIGATTI M, et al. The NuXMV symbolic model checker [C]// Proceedings of International Conference on Computer Aided Verification. Cham: Springer, 2014: 334?342.

    [13] MAIDI M. The common fragments of CTL and LTL [C]// Proceedings of 41st Annual Symposium on Foundations of Computer Science. Redondo: IEEE, 2000: 643?652.

    [14] HUTH M, RYAN M. Logic in computer science: modelling and reasoning about systems [M]. 2nd ed. Cambridge: University of Cambridge, 2004.

    猜你喜歡
    民用航空狀態(tài)機
    民用航空發(fā)動機短艙雷電防護設計及驗證
    民航局公布已獲批準的民用航空產品和零部件清單
    基于有限狀態(tài)機的交會對接飛行任務規(guī)劃方法
    民用航空測距信號對北斗導航信號的干擾分析
    民用航空測距信號對北斗導航信號的干擾分析
    波音預測中國民用航空市場總需求將達2.7萬億美元
    典型民用航空發(fā)動機單元體劃分淺析
    基于狀態(tài)機比對的狀態(tài)機推斷方案
    雙口RAM讀寫正確性自動測試的有限狀態(tài)機控制器設計方法
    A Study of Motivation in ActivePerformancein Class
    50天的宝宝边吃奶边哭怎么回事| 日本欧美视频一区| 巨乳人妻的诱惑在线观看| 精品国产一区二区三区四区第35| 少妇精品久久久久久久| 国产又爽黄色视频| 国产精品国产av在线观看| 午夜福利,免费看| 高清视频免费观看一区二区| 亚洲成av片中文字幕在线观看| 亚洲成av片中文字幕在线观看| 性高湖久久久久久久久免费观看| 日韩视频一区二区在线观看| 国产福利在线免费观看视频| 18在线观看网站| 日本av免费视频播放| 欧美日韩一级在线毛片| 99久久精品国产亚洲精品| 国产成人欧美在线观看 | 成人18禁高潮啪啪吃奶动态图| av天堂久久9| 色播在线永久视频| 在线 av 中文字幕| 一边摸一边做爽爽视频免费| 国产欧美日韩一区二区三区在线| 亚洲成人免费av在线播放| 久久精品熟女亚洲av麻豆精品| 日韩欧美三级三区| 亚洲av电影在线进入| 大型av网站在线播放| 91国产中文字幕| 性少妇av在线| 欧美中文综合在线视频| 日本av手机在线免费观看| 精品国产国语对白av| 色老头精品视频在线观看| 成人特级黄色片久久久久久久 | 国产精品av久久久久免费| 国产成人精品在线电影| 亚洲熟妇熟女久久| 欧美激情 高清一区二区三区| 少妇被粗大的猛进出69影院| 国产一区二区激情短视频| 国产福利在线免费观看视频| 国产av又大| 夫妻午夜视频| 国产一区二区 视频在线| netflix在线观看网站| 九色亚洲精品在线播放| 国产欧美日韩一区二区三区在线| 男女无遮挡免费网站观看| 日本黄色日本黄色录像| 亚洲av日韩在线播放| 成年人黄色毛片网站| 国产精品亚洲av一区麻豆| 久久ye,这里只有精品| 99久久99久久久精品蜜桃| 777久久人妻少妇嫩草av网站| 国产无遮挡羞羞视频在线观看| 99久久人妻综合| 国产高清激情床上av| 啦啦啦 在线观看视频| 国产福利在线免费观看视频| 亚洲人成电影免费在线| 2018国产大陆天天弄谢| xxxhd国产人妻xxx| 色婷婷久久久亚洲欧美| 麻豆乱淫一区二区| 精品亚洲乱码少妇综合久久| 久久精品熟女亚洲av麻豆精品| 日本精品一区二区三区蜜桃| 少妇裸体淫交视频免费看高清 | 久久ye,这里只有精品| 欧美日韩国产mv在线观看视频| 国产精品98久久久久久宅男小说| 中文字幕制服av| 国产不卡一卡二| 老汉色av国产亚洲站长工具| 国产成人精品无人区| 99精品久久久久人妻精品| 777米奇影视久久| 一级毛片女人18水好多| 老司机深夜福利视频在线观看| 亚洲中文字幕日韩| 久久久国产欧美日韩av| 深夜精品福利| 在线看a的网站| 久久香蕉激情| svipshipincom国产片| 久久国产亚洲av麻豆专区| 亚洲色图av天堂| 男人舔女人的私密视频| 国产av一区二区精品久久| 国产精品九九99| 免费观看av网站的网址| 日本av免费视频播放| 色综合欧美亚洲国产小说| xxxhd国产人妻xxx| 成年版毛片免费区| 日韩制服丝袜自拍偷拍| 国产一卡二卡三卡精品| 久久中文字幕一级| 欧美日韩视频精品一区| 熟女少妇亚洲综合色aaa.| 亚洲国产欧美网| 久久婷婷成人综合色麻豆| av线在线观看网站| 精品国产一区二区三区四区第35| 美女高潮到喷水免费观看| 夜夜爽天天搞| 亚洲人成伊人成综合网2020| 制服人妻中文乱码| av电影中文网址| 久久婷婷成人综合色麻豆| 久久精品国产亚洲av香蕉五月 | 日本a在线网址| 男人操女人黄网站| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲精品av麻豆狂野| 一级黄色大片毛片| 国产成人系列免费观看| 欧美激情 高清一区二区三区| 51午夜福利影视在线观看| 中文字幕人妻熟女乱码| www.熟女人妻精品国产| 午夜福利影视在线免费观看| 国产成人欧美| 国产免费av片在线观看野外av| 一二三四社区在线视频社区8| 高清黄色对白视频在线免费看| 日本一区二区免费在线视频| 欧美精品av麻豆av| 无限看片的www在线观看| 成人av一区二区三区在线看| av视频免费观看在线观看| 99国产综合亚洲精品| 成人黄色视频免费在线看| 欧美另类亚洲清纯唯美| 咕卡用的链子| 嫩草影视91久久| 日本黄色日本黄色录像| 免费观看a级毛片全部| 国产日韩一区二区三区精品不卡| 女性被躁到高潮视频| 国产男靠女视频免费网站| 成年人免费黄色播放视频| 电影成人av| 亚洲免费av在线视频| 国产av国产精品国产| 黑人巨大精品欧美一区二区mp4| 亚洲欧美色中文字幕在线| 成人免费观看视频高清| 91国产中文字幕| 黑人猛操日本美女一级片| 久久精品亚洲熟妇少妇任你| 亚洲伊人色综图| 99在线人妻在线中文字幕 | 欧美人与性动交α欧美精品济南到| 一区二区av电影网| 9色porny在线观看| 亚洲欧美精品综合一区二区三区| 搡老岳熟女国产| 色94色欧美一区二区| tocl精华| 国产在线精品亚洲第一网站| 黄色视频在线播放观看不卡| 91成人精品电影| 日韩熟女老妇一区二区性免费视频| 嫁个100分男人电影在线观看| 人妻久久中文字幕网| 在线观看舔阴道视频| 午夜精品国产一区二区电影| 久久毛片免费看一区二区三区| 99国产精品一区二区蜜桃av | 黑人猛操日本美女一级片| 老司机深夜福利视频在线观看| 黑人巨大精品欧美一区二区蜜桃| 亚洲久久久国产精品| 亚洲精品自拍成人| 777米奇影视久久| 亚洲成人手机| 久久久久久人人人人人| 人妻一区二区av| 又大又爽又粗| 色尼玛亚洲综合影院| a级毛片黄视频| 日韩 欧美 亚洲 中文字幕| 男女之事视频高清在线观看| 亚洲成a人片在线一区二区| 精品高清国产在线一区| 国产成人欧美| 精品少妇黑人巨大在线播放| 成人手机av| 国产高清国产精品国产三级| a级毛片黄视频| 精品一区二区三卡| 51午夜福利影视在线观看| 国产精品亚洲av一区麻豆| 丰满少妇做爰视频| av天堂在线播放| 成年人免费黄色播放视频| 亚洲天堂av无毛| 天堂8中文在线网| 成人特级黄色片久久久久久久 | 青草久久国产| 50天的宝宝边吃奶边哭怎么回事| 久久国产精品影院| 天天影视国产精品| 国产有黄有色有爽视频| 精品久久久久久电影网| 亚洲成人手机| 自线自在国产av| 女性生殖器流出的白浆| 无人区码免费观看不卡 | 美女高潮到喷水免费观看| av福利片在线| 少妇猛男粗大的猛烈进出视频| 在线亚洲精品国产二区图片欧美| 大香蕉久久网| www.精华液| 好男人电影高清在线观看| 交换朋友夫妻互换小说| 亚洲成人手机| 18禁国产床啪视频网站| 精品欧美一区二区三区在线| 自线自在国产av| 国产一区二区三区综合在线观看| 啪啪无遮挡十八禁网站| 国产麻豆69| 亚洲精品久久午夜乱码| 久久婷婷成人综合色麻豆| 亚洲精品美女久久久久99蜜臀| 男人操女人黄网站| 日日夜夜操网爽| 91字幕亚洲| 成人免费观看视频高清| 国产麻豆69| 国产亚洲精品一区二区www | 国产免费av片在线观看野外av| 久久免费观看电影| 无限看片的www在线观看| 91精品三级在线观看| 成人三级做爰电影| 国产男靠女视频免费网站| 91国产中文字幕| 女性被躁到高潮视频| 99在线人妻在线中文字幕 | 国产精品99久久99久久久不卡| 黄色视频不卡| 久久人妻av系列| 国产成人系列免费观看| 老司机午夜十八禁免费视频| 国产成人欧美| 最新的欧美精品一区二区| 国产精品久久久久成人av| 亚洲久久久国产精品| 亚洲avbb在线观看| 亚洲伊人色综图| 两性夫妻黄色片| 手机成人av网站| 一个人免费在线观看的高清视频| 亚洲色图综合在线观看| 亚洲男人天堂网一区| 亚洲综合色网址| 18禁观看日本| 汤姆久久久久久久影院中文字幕| 亚洲色图av天堂| 叶爱在线成人免费视频播放| 国产1区2区3区精品| 久久毛片免费看一区二区三区| 一本色道久久久久久精品综合| 免费在线观看影片大全网站| 国产精品偷伦视频观看了| 国产精品国产高清国产av | 免费不卡黄色视频| 久久久久久人人人人人| 桃红色精品国产亚洲av| 久久国产精品影院| 18禁美女被吸乳视频| 中文字幕最新亚洲高清| 精品国产亚洲在线| 一级片免费观看大全| 亚洲欧美日韩高清在线视频 | 少妇的丰满在线观看| 亚洲国产成人一精品久久久| 青草久久国产| 亚洲成人免费电影在线观看| 免费看十八禁软件| 欧美日韩av久久| 欧美激情高清一区二区三区| netflix在线观看网站| 成年人免费黄色播放视频| 久久ye,这里只有精品| 午夜福利欧美成人| 少妇的丰满在线观看| 日韩欧美国产一区二区入口| 欧美乱妇无乱码| 亚洲综合色网址| 日本五十路高清| 男人操女人黄网站| 国产一区二区三区视频了| 麻豆av在线久日| 五月天丁香电影| 亚洲九九香蕉| 色播在线永久视频| 老司机影院毛片| 免费在线观看日本一区| 久久天堂一区二区三区四区| 伦理电影免费视频| 国产免费av片在线观看野外av| 亚洲第一欧美日韩一区二区三区 | 如日韩欧美国产精品一区二区三区| 老熟妇乱子伦视频在线观看| 久久久久久久精品吃奶| 99九九在线精品视频| 深夜精品福利| 青青草视频在线视频观看| avwww免费| 最新在线观看一区二区三区| 国产野战对白在线观看| 成人国产av品久久久| 欧美人与性动交α欧美精品济南到| 亚洲精品成人av观看孕妇| 亚洲一码二码三码区别大吗| 欧美精品啪啪一区二区三区| 日本a在线网址| 91九色精品人成在线观看| 国产欧美亚洲国产| 日日摸夜夜添夜夜添小说| 国产精品二区激情视频| 久久国产精品人妻蜜桃| 久久精品国产亚洲av香蕉五月 | 九色亚洲精品在线播放| 久久天躁狠狠躁夜夜2o2o| 一边摸一边抽搐一进一出视频| 天堂中文最新版在线下载| 亚洲欧美一区二区三区久久| 老司机影院毛片| 精品高清国产在线一区| 日韩视频一区二区在线观看| 一本久久精品| 性色av乱码一区二区三区2| 欧美日韩国产mv在线观看视频| 午夜福利免费观看在线| 9191精品国产免费久久| 精品国产乱码久久久久久男人| 国产成人精品久久二区二区免费| 午夜福利在线免费观看网站| 王馨瑶露胸无遮挡在线观看| 午夜福利在线免费观看网站| 一区二区三区乱码不卡18| 人人妻人人澡人人爽人人夜夜| 国精品久久久久久国模美| 精品人妻熟女毛片av久久网站| 91大片在线观看| 18禁国产床啪视频网站| 人人澡人人妻人| 国产精品免费一区二区三区在线 | 热re99久久国产66热| 国产精品九九99| 一级毛片精品| 91成年电影在线观看| 色综合婷婷激情| 亚洲av日韩精品久久久久久密| 脱女人内裤的视频| 天堂动漫精品| 国精品久久久久久国模美| 国产欧美亚洲国产| 色播在线永久视频| 欧美激情高清一区二区三区| 岛国在线观看网站| 久久亚洲真实| 亚洲三区欧美一区| 麻豆国产av国片精品| 精品一区二区三区视频在线观看免费 | 国产老妇伦熟女老妇高清| 亚洲九九香蕉| 成年人午夜在线观看视频| 男女下面插进去视频免费观看| 女性被躁到高潮视频| 久久久久久久精品吃奶| 777久久人妻少妇嫩草av网站| 久久免费观看电影| 天堂俺去俺来也www色官网| a在线观看视频网站| 丰满饥渴人妻一区二区三| 亚洲av国产av综合av卡| 999久久久精品免费观看国产| 国产黄频视频在线观看| 欧美 日韩 精品 国产| 欧美日韩福利视频一区二区| 亚洲专区中文字幕在线| 99久久精品国产亚洲精品| 新久久久久国产一级毛片| 一本色道久久久久久精品综合| 欧美+亚洲+日韩+国产| 丝袜人妻中文字幕| 国产精品久久久久成人av| 深夜精品福利| av片东京热男人的天堂| 侵犯人妻中文字幕一二三四区| 深夜精品福利| 午夜激情久久久久久久| 天天躁夜夜躁狠狠躁躁| 国产成人影院久久av| 欧美 亚洲 国产 日韩一| 国产精品.久久久| 欧美大码av| 天天影视国产精品| 国产在线免费精品| 俄罗斯特黄特色一大片| 欧美中文综合在线视频| 黑人巨大精品欧美一区二区蜜桃| 嫁个100分男人电影在线观看| 免费日韩欧美在线观看| 美女高潮到喷水免费观看| 制服人妻中文乱码| 男女无遮挡免费网站观看| 国产麻豆69| 999精品在线视频| 最近最新免费中文字幕在线| 国产在视频线精品| 国产欧美日韩精品亚洲av| 黑人猛操日本美女一级片| 国产一区有黄有色的免费视频| 18禁黄网站禁片午夜丰满| 亚洲成人免费电影在线观看| cao死你这个sao货| 国产在视频线精品| 国产精品.久久久| 99国产精品99久久久久| 天堂中文最新版在线下载| 欧美日韩精品网址| 如日韩欧美国产精品一区二区三区| 18禁观看日本| 亚洲第一欧美日韩一区二区三区 | 久久久久国内视频| 欧美日韩亚洲高清精品| 日本vs欧美在线观看视频| 天天躁狠狠躁夜夜躁狠狠躁| 国产亚洲午夜精品一区二区久久| 宅男免费午夜| 一区二区三区国产精品乱码| 在线看a的网站| 黑人巨大精品欧美一区二区mp4| 男人操女人黄网站| 涩涩av久久男人的天堂| 国产精品 欧美亚洲| 日韩欧美三级三区| 丝袜美足系列| 欧美精品一区二区大全| 国产精品久久久久久精品古装| 欧美日韩福利视频一区二区| 亚洲国产毛片av蜜桃av| 男女高潮啪啪啪动态图| 捣出白浆h1v1| 国产成+人综合+亚洲专区| 一级片免费观看大全| 欧美日韩黄片免| 黄色片一级片一级黄色片| 亚洲美女黄片视频| 伦理电影免费视频| 亚洲精品一二三| 精品欧美一区二区三区在线| 国产成人精品无人区| av天堂久久9| 人妻 亚洲 视频| 久久久久国产一级毛片高清牌| 十八禁高潮呻吟视频| 18禁黄网站禁片午夜丰满| 蜜桃国产av成人99| 99riav亚洲国产免费| 侵犯人妻中文字幕一二三四区| 国产福利在线免费观看视频| 两性午夜刺激爽爽歪歪视频在线观看 | 一级毛片电影观看| 久久久久精品人妻al黑| 少妇猛男粗大的猛烈进出视频| 久久人妻熟女aⅴ| 欧美激情久久久久久爽电影 | 精品亚洲乱码少妇综合久久| 欧美中文综合在线视频| 成年人免费黄色播放视频| av电影中文网址| 久久天躁狠狠躁夜夜2o2o| 女人被躁到高潮嗷嗷叫费观| 可以免费在线观看a视频的电影网站| 少妇被粗大的猛进出69影院| 在线观看免费高清a一片| 亚洲国产精品一区二区三区在线| 久久久久久免费高清国产稀缺| 极品人妻少妇av视频| 亚洲精品久久成人aⅴ小说| 天堂8中文在线网| 99精国产麻豆久久婷婷| 侵犯人妻中文字幕一二三四区| 精品熟女少妇八av免费久了| 日韩视频在线欧美| 亚洲精品久久午夜乱码| 51午夜福利影视在线观看| 一区二区三区激情视频| 操美女的视频在线观看| 另类亚洲欧美激情| 国产免费视频播放在线视频| 天天操日日干夜夜撸| 国产无遮挡羞羞视频在线观看| 亚洲成a人片在线一区二区| 少妇被粗大的猛进出69影院| 精品少妇内射三级| 亚洲av欧美aⅴ国产| 12—13女人毛片做爰片一| 国产精品亚洲av一区麻豆| 1024香蕉在线观看| 在线观看舔阴道视频| 1024视频免费在线观看| 欧美+亚洲+日韩+国产| 亚洲国产中文字幕在线视频| 国产在线免费精品| 欧美日韩精品网址| 亚洲色图 男人天堂 中文字幕| 欧美日韩亚洲高清精品| 三级毛片av免费| 美女国产高潮福利片在线看| 极品少妇高潮喷水抽搐| 一进一出抽搐动态| 中文字幕制服av| av福利片在线| 成人av一区二区三区在线看| 免费在线观看黄色视频的| 中文字幕制服av| 欧美日韩福利视频一区二区| 亚洲国产成人一精品久久久| 69精品国产乱码久久久| 亚洲国产欧美日韩在线播放| av福利片在线| 亚洲精品在线美女| 别揉我奶头~嗯~啊~动态视频| 天天躁夜夜躁狠狠躁躁| 精品久久久久久电影网| 男女午夜视频在线观看| 最新在线观看一区二区三区| tube8黄色片| 国产单亲对白刺激| 精品一区二区三卡| 亚洲国产中文字幕在线视频| 考比视频在线观看| 久久人妻av系列| 精品人妻熟女毛片av久久网站| 亚洲 欧美一区二区三区| 欧美日韩中文字幕国产精品一区二区三区 | 天天添夜夜摸| 美国免费a级毛片| 亚洲av第一区精品v没综合| 亚洲va日本ⅴa欧美va伊人久久| 高清黄色对白视频在线免费看| 欧美日韩精品网址| 超色免费av| 纯流量卡能插随身wifi吗| 亚洲国产av新网站| 欧美av亚洲av综合av国产av| 国产精品免费大片| 久久毛片免费看一区二区三区| 人人澡人人妻人| 国产精品.久久久| 日韩免费高清中文字幕av| 亚洲一码二码三码区别大吗| 侵犯人妻中文字幕一二三四区| 两性夫妻黄色片| www.自偷自拍.com| 国产单亲对白刺激| 国产主播在线观看一区二区| 成人18禁高潮啪啪吃奶动态图| 国产欧美亚洲国产| 在线观看舔阴道视频| 大型av网站在线播放| 国产视频一区二区在线看| 菩萨蛮人人尽说江南好唐韦庄| 黄片小视频在线播放| 午夜91福利影院| 亚洲av第一区精品v没综合| 亚洲专区国产一区二区| 中文欧美无线码| 伊人久久大香线蕉亚洲五| 久久久精品国产亚洲av高清涩受| 天天躁夜夜躁狠狠躁躁| 欧美日韩成人在线一区二区| 欧美另类亚洲清纯唯美| 国产精品香港三级国产av潘金莲| 多毛熟女@视频| 国产一卡二卡三卡精品| 最新美女视频免费是黄的| 19禁男女啪啪无遮挡网站| 搡老熟女国产l中国老女人| 一夜夜www| 久热爱精品视频在线9| 嫁个100分男人电影在线观看| 久久久久久久大尺度免费视频| 亚洲免费av在线视频| 精品视频人人做人人爽| 黑人欧美特级aaaaaa片| av有码第一页| 一区二区三区乱码不卡18| 欧美激情高清一区二区三区| 无人区码免费观看不卡 | 母亲3免费完整高清在线观看| 国产成人欧美| 少妇的丰满在线观看| 日韩欧美三级三区| 午夜日韩欧美国产| 久久精品国产亚洲av高清一级| 亚洲精品中文字幕在线视频| 精品国产一区二区久久| 亚洲精品久久成人aⅴ小说| 看免费av毛片| 狠狠狠狠99中文字幕|