Yukio Miyasaka

17 papers A 4B 1C 2Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
Bias by Design: Diversity Quantification to Mitigate Structural Bias Effects in AIG Logic Optimization.
DATE
Isabella Venancia Gardner, Marcel Walter, Yukio Miyasaka, Robert Wille, Michael Cochez
2025 — conf
High-Effort Logic Synthesis Using Randomized Transduction.
ASP-DAC
Yukio Miyasaka, Alan Mishchenko, John Wawrzynek, Dino Ruic, Xiaoqing Xu
2025 — conf
ML-Inspired Logic Synthesis: Improving Multiplier Circuits.
MLCAD
Yukio Miyasaka, Walter Lau Neto, Eleonora Testa, Anika Prasad, Michael Shuster, Reto Zimmermann, Patrick Vuillod, Alan Mishchenko, John Wawrzynek, Luca G. Amarù
2024 Misc conf
Synthesis of LUT Networks for Random-Looking Dense Functions with Don't Cares - Towards Efficient FPGA Implementation of DNN.
FCCM
Yukio Miyasaka, Alan Mishchenko, John Wawrzynek, Nicholas J. Fraser
2024 B conf
Transduction Method for AIG Minimization.
ASPDAC
Yukio Miyasaka
2023 J jnl
Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jitendra Kumar, Yukio Miyasaka, Asutosh Srivastava, Masahiro Fujita
2022 J jnl
Parallel Scheduling Attention Mechanism: Generalization and Optimization.
IPSJ Trans. Syst. LSI Des. Methodol.
Mingfei Yu, Yukio Miyasaka, Masahiro Fujita
2021 A conf
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.
DATE
Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee
2021 A conf
Logic Synthesis for Generalization and Learning Addition.
DATE
Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita
2020 J jnl
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.
CoRR
Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Jr., Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee
2020 C conf
SAT-Based Data-Flow Mapping Onto Array Processor.
VLSI-SOC
Yukio Miyasaka, Masahiro Fujita
2020 — conf
SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained Reconfigurable Arrays.
VLSI-SoC (Selected Papers)
Yukio Miyasaka, Masahiro Fujita, Alan Mishchenko, John Wawrzynek
2020 J jnl
Synthesis and Generalization of Parallel Algorithm for Matrix-vector Multiplication.
IPSJ Trans. Syst. LSI Des. Methodol.
Yukio Miyasaka, Akihiro Goda, Ashish Mittal, Masahiro Fujita
2020 — conf
Synthesis and Generalization of Parallel Algorithms Considering Communication Constraints.
ISQED
Akihiro Goda, Yukio Miyasaka, Amir Masoud Gharehbaghi, Masahiro Fujita
2020 A conf
Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations.
DATE
Masahiro Fujita, Yusuke Kimura, Xingming Le, Yukio Miyasaka, Amir Masoud Gharehbaghi
2019 C conf
Live Demonstration: Automatic Synthesis of Algorithms on Multi Chip/FPGA with Communication Constraints.
ISCAS
Tomohiro Maruoka, Yukio Miyasaka, Akihiro Goda, Amir Masoud Gharehbaghi, Masahiro Fujita
2019 — conf
Synthesis of Algorithm Considering Communication Structure of Distributed/Parallel Computing.
ISQED
Yukio Miyasaka, Ashish Mittal, Masahiro Fujita