Skip to content

Commit

Permalink
Add logo to README
Browse files Browse the repository at this point in the history
  • Loading branch information
tgorochowik authored Oct 1, 2024
1 parent c1a3fd6 commit 4b191a1
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 @@ -2,6 +2,9 @@

Copyright (c) 2024 [Antmicro](https://www.antmicro.com)

![sv-bugpoint-logo-github-readme](https://github.com/user-attachments/assets/94caef96-85d6-4e50-8b39-ff9d0f5fe7e7)


`sv-bugpoint` minimizes SystemVerilog code while preserving a user-defined property of that code.
For example, it can be used for acquiring minimal test cases that trigger certain bugs in SystemVerilog tooling.

Expand Down

0 comments on commit 4b191a1

Please sign in to comment.