Update README.md
Browse files
README.md
CHANGED
|
@@ -16,18 +16,21 @@ This model is trained on the [MetRex](https://huggingface.co/datasets/scale-lab/
|
|
| 16 |
Set temperature to 0.4. Use the following prompt template:
|
| 17 |
|
| 18 |
```
|
| 19 |
-
|
|
|
|
|
|
|
| 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 |
-
|
| 25 |
-
|
|
|
|
| 26 |
);
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
|
| 31 |
```
|
| 32 |
|
| 33 |
# Citation
|
|
|
|
| 16 |
Set temperature to 0.4. Use the following prompt template:
|
| 17 |
|
| 18 |
```
|
| 19 |
+
<|begin_of_text|><|start_header_id|>system<|end_header_id|>
|
| 20 |
+
|
| 21 |
+
Your task is to estimate area for RTL designs in Skywater 130nm technology node.<|eot_id|><|start_header_id|>user<|end_header_id|>
|
| 22 |
|
| 23 |
Estimate area for the given RTL design. Reason about the number and type of gates that would be present after synthesis.
|
| 24 |
# RTL:
|
| 25 |
module top_module(
|
| 26 |
+
input a,
|
| 27 |
+
input b,
|
| 28 |
+
output out
|
| 29 |
);
|
| 30 |
+
|
| 31 |
+
assign out = ~(a | b);
|
| 32 |
+
|
| 33 |
+
endmodule<|eot_id|>
|
| 34 |
```
|
| 35 |
|
| 36 |
# Citation
|