Update CREDITS.md

add Mitch
This commit is contained in:
matt venn
2023-09-12 18:30:08 +02:00
committed by GitHub
parent b5e5bc99e8
commit 46e58b675f
+1 -1
View File
@@ -8,7 +8,7 @@ Tiny Tapeout would not be possible without a lot of people helping. We would esp
* Uri Shaked for [wokwi](https://wokwi.com/) development and lots more * Uri Shaked for [wokwi](https://wokwi.com/) development and lots more
* [Sylvain Munaut](https://twitter.com/tnt) for help with scan chain improvements * [Sylvain Munaut](https://twitter.com/tnt) for help with scan chain improvements
* [Mike Thompson](https://www.linkedin.com/in/michael-thompson-0a581a/) for verification expertise * [Mike Thompson](https://www.linkedin.com/in/michael-thompson-0a581a/) and [Mitch Bailey](https://www.linkedin.com/in/mitch-bailey-8ba0b45/) for verification expertise
* [Jix](https://twitter.com/jix_) for formal verification support * [Jix](https://twitter.com/jix_) for formal verification support
* [Proppy](https://twitter.com/proppy) for help with GitHub actions * [Proppy](https://twitter.com/proppy) for help with GitHub actions
* [Maximo Balestrini](https://twitter.com/maxiborga) for all the amazing renders and the interactive GDS viewer * [Maximo Balestrini](https://twitter.com/maxiborga) for all the amazing renders and the interactive GDS viewer