Modern Hardware Construction Languages and Automated Testing
-
Cornell University
- Ithaca, NY
- kevinlaeufer.com
- @ekiwi@discuss.systems
LingZichao
Computer Architecture & Autonomous Design Amateur
Beijing University of Post and Telecommunications Beijing, China
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Youwei Xiao
uv-xiao
Third-year Ph.D. student at Peking University, researching language and compiler techniques for microarch/hardware design.
Peking University
孙浩东
e-stream365
We will never change the world without fully understanding it first. Patience and perseverance win the day.
Shahzaib Kashif
shahzaibk23
Software Engineer |
Python Expert |
Working on RISC-V ISA | CHISEL Developer
@merledu
Dmitry Murzinov
iDoka
Hardware Imagineer |
Digital IC Design Engineer |
Automotive Electronics Enthusiast
@dokard @deepware-ai Error: Unable to resolve
Carlos Eduardo
carlosedp
Check my articles on https://carlosedp.medium.com and support me at https://github.com/sponsors/carlosedp
RISC-V Ambassador / Red Hat Architect / Independent Developer Sao Paulo/Brazil
Othman Abdulsalam
othmanabdulsalam
Im more active on GitLab https://gitlab.com/othmanabdulsalam
Manchester
Saheed O. Bolarinwa
refactormyself
Computer Science
. HPC . Computer Architecture . Compilers
Leibniz Supercomputing Center Germany
Oleksandr B.
limpid-kzonix
Fluent in Backend-ese (microservices, distributed systems, you know the drill)
Functional Programming Fanatic...
Kyiv, Ukraine
Dr.VipinKumar P
dr-vipinkumarp
EV Automotive Architect/SW Design | Research Excellent Award 2021|MIEEE|ATSC | MIFERP | MINSC | MAIENG | Ballistic Missile / UAV Navigation/Positioning|ADAS|Mot