电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
本文利用形式化的方法对SystemVerilog的指称语义进行研究，采用EBES(extended
bundle event structure)作为抽象模型，以便更好的描述SystemVerilog真并发的特点。我
们的主要工作是：首先，通过对SystemVerilog语言的认真学习，从中抽取出一个尽可能多的包含其语法的真并发子集；其次，利用进程代数LOTOS描述其基于EBES模型的指称语义，以提供一个准确的、无二义性的SystemVerilog文档，避免硬件设计中的逻辑性错误。
bundle event structure)作为抽象模型，以便更好的描述SystemVerilog真并发的特点。我
们的主要工作是：首先，通过对SystemVerilog语言的认真学习，从中抽取出一个尽可能多的包含其语法的真并发子集；其次，利用进程代数LOTOS描述其基于EBES模型的指称语义，以提供一个准确的、无二义性的SystemVerilog文档，避免硬件设计中的逻辑性错误。
SystemVeri
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于SEGNET模型的图像语义分割方法 15次下载
- 一种具有语义区域风格约束的图像生成框架 5次下载
- 意图和语义槽填充联合识别模型设计方案 8次下载
- 基于深度神经网络的图像语义分割方法 11次下载
- 基于深度学习的三维点云语义分割研究分析 16次下载
- 基于语义耦合相关的判别式跨模态哈希特征表示学习算法 12次下载
- SystemVerilog的正式验证和混合验证 25次下载
- 结合双目图像的深度信息跨层次特征的语义分割模型 21次下载
- 分析总结基于深度神经网络的图像语义分割方法 21次下载
- 如何使用知识图谱对图像语义进行分析技术及应用研究 17次下载
- 面向智能服务系统的时间语义理解 0次下载
- 基于形式概念分析的图像场景语义标注模型 1次下载
- 基于语义的文本语义分析 6次下载
- SystemVerilog的断言手册
- SystemVerilog Assertion Handbo
- 分享一些SystemVerilog的coding guideline 1.4k次阅读
- SystemVerilog在硬件设计部分有哪些优势 2.3k次阅读
- SystemVerilog的随机约束方法 3.5k次阅读
- SystemVerilog的结构体-2 1.5k次阅读
- SystemVerilog的结构体-1 1.7k次阅读
- SystemVerilog中的Semaphores 4.3k次阅读
- SystemVerilog语言中的Upcasting和Downcasting概念解析 2.2k次阅读
- SystemVerilog中的Shallow Copy 1.4k次阅读
- SystemVerilog中的struct 3.2k次阅读
- SystemVerilog中的package 1.8k次阅读
- SystemVerilog中可以嵌套的数据结构 2.5k次阅读
- SystemVerilog中的操作方法 4.3k次阅读
- SystemVerilog中$cast的应用 3.9k次阅读
- Systemverilog event的示例 2.2k次阅读
- 自然语言的语义表示学习方法与应用 7.9k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论