Skip to main content

Showing 1–2 of 2 results for author: Crepalde, M

.
  1. arXiv:2504.06295  [pdf, other

    cs.AR cs.PL

    Bottom-Up Generation of Verilog Designs for Testing EDA Tools

    Authors: João Victor Amorim Vieira, Luiza de Melo Gomes, Rafael Sumitani, Raissa Maciel, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira

    Abstract: Testing Electronic Design Automation (EDA) tools rely on benchmarks -- designs written in Hardware Description Languages (HDLs) such as Verilog, SystemVerilog, or VHDL. Although collections of benchmarks for these languages exist, they are typically limited in size. This scarcity has recently drawn more attention due to the increasing need for training large language models in this domain. To deal… ▽ More

    Submitted 6 April, 2025; originally announced April 2025.

    Comments: This is an 11-page paper, yet not submitted to conferences or journals

    MSC Class: 68N99 ACM Class: D.3.4; B.6.3; D.2.5

  2. arXiv:2406.06550  [pdf, other

    cs.AR cs.PL

    ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools

    Authors: Rafael Sumitani, João Victor Amorim, Augusto Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira

    Abstract: Electronic Design Automation (EDA) tools are software applications used by engineers in the design, development, simulation, and verification of electronic systems and integrated circuits. These tools typically process specifications written in a Hardware Description Language (HDL), such as Verilog, SystemVerilog or VHDL. Thus, effective testing of these tools requires benchmark suites written in… ▽ More

    Submitted 24 May, 2024; originally announced June 2024.

    Comments: 5 pages, 6 figures, 12 references

    MSC Class: 68N15 ACM Class: D.3