Ph.D. candidate in Integrated Circuits @ SEU. Researching AI4EDA, formal verification & synthesis optimization. @FORMiND-Lab
-
Southeast University
- Nanjing
-
00:08
(UTC +08:00)
Highlights
- Pro
-
avr_modification Public
Forked from aman-goel/avrReads a state transition system and performs property checking
C++ GNU General Public License v3.0 UpdatedSep 8, 2025