Update README.md
Browse files
README.md
CHANGED
@@ -1,3 +1,44 @@
|
|
1 |
-
---
|
2 |
-
|
3 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
---
|
2 |
+
library_name: transformers
|
3 |
+
datasets:
|
4 |
+
- scale-lab/MetRex
|
5 |
+
base_model:
|
6 |
+
- meta-llama/Meta-Llama-3-8B-Instruct
|
7 |
+
---
|
8 |
+
|
9 |
+
# Model Details
|
10 |
+
|
11 |
+
This model is trained on the [MetRex](https://huggingface.co/datasets/scale-lab/MetRex) dataset for estimating static power metrics for Verilog designs. Finetuned from model: [Meta-Llama-3-8B-Instruct](https://huggingface.co/meta-llama/Meta-Llama-3-8B-Instruct)
|
12 |
+
|
13 |
+
|
14 |
+
## Prompt
|
15 |
+
|
16 |
+
Set temperature to 0.4. Use the following prompt template:
|
17 |
+
|
18 |
+
```
|
19 |
+
Your task is to estimate delay for RTL designs in Skywater 130nm technology node.user
|
20 |
+
|
21 |
+
Estimate area for the given RTL design. Reason about the number and type of gates that would be present after synthesis.
|
22 |
+
# RTL:
|
23 |
+
module top_module(
|
24 |
+
input in,
|
25 |
+
output out
|
26 |
+
);
|
27 |
+
|
28 |
+
assign out = ~in;
|
29 |
+
|
30 |
+
endmoduleassistant
|
31 |
+
```
|
32 |
+
|
33 |
+
# Citation
|
34 |
+
|
35 |
+
```
|
36 |
+
@INPROCEEDINGS{abdelatty2025metrex,
|
37 |
+
author={M. {Abdelatty} and J. {Ma} and S. {Reda}},
|
38 |
+
booktitle={2025 30th Asia and South Pacific Design Automation Conference (ASP-DAC)},
|
39 |
+
title={MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMs},
|
40 |
+
year={2025},
|
41 |
+
volume={},
|
42 |
+
number={},
|
43 |
+
}
|
44 |
+
```
|