Shinya Takamaeda-Yamazaki
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
Izumi Tanaka and others (2026) · Proceedings of the 35th European Symposium on Programming (ESOP 2026)
Pyverilog: A Python-Based Hardware Design Processing Toolkit for Verilog HDL
Shinya Takamaeda-Yamazaki (2015) · Lecture notes in computer science · Springer Science+Business Media