luke
/
manta
mirror of https://github.com/fischermoseley/manta.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

update README to match header

This commit is contained in:
Fischer Moseley 2024-02-29 15:17:56 -05:00 committed by GitHub
parent 1d9e643c05
commit 74de7f2324
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -1,6 +1,6 @@
![](doc/assets/logo.png)
## Manta: An In-Situ Debugging Tool for Programmable Hardware
## Manta: A configurable and approachable tool for FPGA debugging and rapid prototyping.
![functional_simulation](https://github.com/fischermoseley/manta/actions/workflows/functional_simulation.yml/badge.svg)
![formal_verification](https://github.com/fischermoseley/manta/actions/workflows/formal_verification.yml/badge.svg)
![build_examples](https://github.com/fischermoseley/manta/actions/workflows/build_examples.yml/badge.svg)