找到3个数据集

标签: 时序逻辑

过滤结果

  • 提示RTL_评估提示工程对硬件设计的影响

    2026年2月2日 30 129 117

    数据集概述 本数据集是PromptRTL项目的存储库，主要用于全面评估硬件设计领域的先进提示工程技术，重点关注功能性Verilog代码的生成。数据集包含2个文件，涵盖项目概述、问题分类等核心内容，为硬件设计中提示工程的应用研究提供支持。 文件详解 文件名称：README.md 文件格式：MD...
    packageimg

  • Storm_Based_数据密集型应用瓶颈节点分析模型数据

    2026年1月29日 30 77 67

    数据集概述 本数据集包含一组表示Storm拓扑的模型描述文件，旨在支撑论文中提出的基于度量时序逻辑的数据分析方法，聚焦于Storm实现的数据密集型应用瓶颈节点分析。数据集仅含一个压缩文件，无目录层级结构。 文件详解 文件名称：ICFEM.zip 文件格式：ZIP...
    packageimg

  • D_VerT_Source_Storm拓扑形式化验证研究完整数据2017

    2026年1月21日 30 63 4

    数据集概述 本数据集为论文《Formal Verification of Storm Topologies through D-VerT》的配套研究数据，包含论文中展示的UML模型、D-VerT自动生成的时序逻辑模型实例及实验输出文件，用于支持Storm流处理拓扑的形式化验证研究，总计一个压缩文件。 文件详解 文件名称：SAC2017.zip...
    packageimg