Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
TrustworthyComputing authored Jul 16, 2024
1 parent 0d41ee7 commit bf395c9
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,9 @@ cargo run --bin preprocessor --release \
cargo run --bin helm --release -- --verilog ./hdl-benchmarks/processed-netlists/c880.v
```

## Acknowledgments
This work was supported by the National Science Foundation (Award #2239334).

<p align="center">
<img src="./logos/twc.png" height="20%" width="20%">
</p>
Expand Down

0 comments on commit bf395c9

Please sign in to comment.