eda-ricercatore / eda-ricercatore.github.io

Zhiyang Ong is an Electrical Engineering Ph.D. student at Texas A&M University. He is currently working on noise-based logic, and had worked on problems in VLSI formal verification, electronic design automation, and satisfiability modulo theories.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

eda-ricercatore/eda-ricercatore.github.io Stargazers