Vaishnavi13/assertion_dataset

该数据集包含与设计相关的信息，主要特征包括设计名称（Design_Name）、断言（Assertions）和Verilog设计（verilog_design），所有特征均为字符串类型。数据集分为训练集和测试集，训练集包含75个样本，测试集包含25个样本。总下载大小为1956705字节，数据集总大小为10206942字节。

This dataset includes three main features: Design_Name (design name), Assertions (assertions), and verilog_design (Verilog design). The dataset is divided into a training set and a test set, containing 75 and 25 samples respectively. The download size of the dataset is 1956705 bytes, and the total size is 10206942 bytes. The dataset configuration is default, with training and test data stored in data/train-* and data/test-* paths respectively.

原始信息汇总

数据集概述

数据集信息

• 特征:

  • Design_Name: 类型为字符串。
  • Assertions: 类型为字符串。
  • verilog_design: 类型为字符串。

• 分割:

  • 训练集:
    • 字节数: 8215312
    • 样本数: 75
  • 测试集:
    • 字节数: 1991630
    • 样本数: 25

• 下载大小: 1956705 字节

• 数据集总大小: 10206942 字节

配置

• 默认配置:
  • 数据文件:
    • 训练集: 路径为 data/train-*
    • 测试集: 路径为 data/test-*