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

update README formatting

This commit is contained in:
Fischer Moseley 2024-02-29 15:19:13 -05:00 committed by GitHub
parent 74de7f2324
commit 9a23a40d7e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 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: A configurable and approachable tool for FPGA debugging and rapid prototyping.
## 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)