PhD Researcher, Computer Engineer. Projects on EDA tools, digital hardware design, processor architectures, and software for embedded systems.
C++ parsing library for simple formats used in logic synthesis and formal verification
C++ - Released: 06 Mar 2018 - 35