那曲檬骨新材料有限公司

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>電子論文>模擬數字論文>基于事件結構的SystemVerilog指稱語義

基于事件結構的SystemVerilog指稱語義

2009-12-22 | rar | 223 | 次下載 | 3積分

資料介紹

本文利用形式化的方法對SystemVerilog的指稱語義進行研究,采用EBES(extended
bundle event structure)作為抽象模型,以便更好的描述SystemVerilog真并發的特點。我
們的主要工作是:首先,通過對SystemVerilog語言的認真學習,從中抽取出一個盡可能多的包含其語法的真并發子集;其次,利用進程代數LOTOS描述其基于EBES模型的指稱語義,以提供一個準確的、無二義性的SystemVerilog文檔,避免硬件設計中的邏輯性錯誤。
下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1TC358743XBG評估板參考手冊
  2. 1.36 MB  |  330次下載  |  免費
  3. 2開關電源基礎知識
  4. 5.73 MB  |  11次下載  |  免費
  5. 3嵌入式linux-聊天程序設計
  6. 0.60 MB  |  3次下載  |  免費
  7. 4DIY動手組裝LED電子顯示屏
  8. 0.98 MB  |  3次下載  |  免費
  9. 5基于FPGA的C8051F單片機開發板設計
  10. 0.70 MB  |  2次下載  |  免費
  11. 651單片機窗簾控制器仿真程序
  12. 1.93 MB  |  2次下載  |  免費
  13. 751單片機大棚環境控制器仿真程序
  14. 1.10 MB  |  2次下載  |  免費
  15. 8基于51單片機的RGB調色燈程序仿真
  16. 0.86 MB  |  2次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234315次下載  |  免費
  3. 2555集成電路應用800例(新編版)
  4. 0.00 MB  |  33566次下載  |  免費
  5. 3接口電路圖大全
  6. 未知  |  30323次下載  |  免費
  7. 4開關電源設計實例指南
  8. 未知  |  21549次下載  |  免費
  9. 5電氣工程師手冊免費下載(新編第二版pdf電子書)
  10. 0.00 MB  |  15349次下載  |  免費
  11. 6數字電路基礎pdf(下載)
  12. 未知  |  13750次下載  |  免費
  13. 7電子制作實例集錦 下載
  14. 未知  |  8113次下載  |  免費
  15. 8《LED驅動電路設計》 溫德爾著
  16. 0.00 MB  |  6656次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935054次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537798次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420027次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234315次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191186次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183279次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138040次下載  |  免費
百家乐园首选海立方| e利博娱乐城开户| 济州岛百家乐官网的玩法技巧和规则 | 做生意风水摆件| 百家乐官网网站新全讯网| 二八杠认牌绝技| 百家乐稳赢投注方法| 百家乐官网隔一数打投注法| bet365怎么样| 玩百家乐掉房| 澳门百家乐群策略| 都坊百家乐官网的玩法技巧和规则 | 百家乐德州扑克轮盘| 功夫百家乐官网的玩法技巧和规则| 皇冠在线赌场| 大发888亚洲游戏 网页| 百家乐代理打| 百家乐官网方案| 澳门百家乐官网视频| 若尔盖县| 皇冠网hg3155| 永凡棋牌游戏| 新全讯网22335555| 利都百家乐国际娱乐场开户注册| 大佬百家乐现金网| 百家乐官网赔率计算| 百家乐官网无敌直缆| 至尊百家乐| 全讯网| 金赞娱乐城| 亚洲顶级赌场 网投领导者| 为什么百家乐玩家越来越多选择网上百家乐 | 百家乐官网庄闲排| 百家乐官网讲谈| 百家乐官网棋牌交| 百家乐官网翻天快播粤语| 百家乐官网软件购买| 百家乐官网稳定打法| 百家乐官网实时路单| 百家乐官网走势图研究| 关于百家乐官网概率的书|