From 46e58b675fe16b15a87b551ebab8f78673123dbe Mon Sep 17 00:00:00 2001 From: matt venn Date: Tue, 12 Sep 2023 18:30:08 +0200 Subject: [PATCH] Update CREDITS.md add Mitch --- docs/CREDITS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/CREDITS.md b/docs/CREDITS.md index 2bbfeb6..b9aaa62 100644 --- a/docs/CREDITS.md +++ b/docs/CREDITS.md @@ -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 * [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 * [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