If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Yusuke Matsunaga is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Binary decision diagrams Engineering & Materials Science
Networks (circuits) Engineering & Materials Science
Adders Engineering & Materials Science
Field programmable gate arrays (FPGA) Engineering & Materials Science
Combinatorial circuits Engineering & Materials Science
Throughput Engineering & Materials Science
Sequential circuits Engineering & Materials Science
Lithography Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1986 2019

An Efficient SAT-Attack Algorithm Against Logic Encryption

Matsunaga, Y. & Yoshimura, M., Jul 2019, 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019. Gizopoulos, D., Alexandrescu, D., Papavramidou, P. & Maniatakos, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 44-47 4 p. 8854466. (2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer circuits
Cryptography
Systems analysis
Program processors
Networks (circuits)

An accelerating technique for SAT-based ATPG

Matsunaga, Y., Feb 1 2017, In : IPSJ Transactions on System LSI Design Methodology. 10, p. 39-44 6 p.

Research output: Contribution to journalArticle

Automatic test pattern generation
Program processors
Counterexample
Encoding
Refinement
Networks (circuits)
Compaction
Grouping
Fault
Compatibility
Efficient Algorithms
5 Citations (Scopus)

Accelerating SAT-based Boolean matching for heterogeneous FPGAs using one-hot encoding and CEGAR technique

Matsunaga, Y., Mar 11 2015, 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015. Institute of Electrical and Electronics Engineers Inc., p. 255-260 6 p. 7059014. (20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Field Programmable Gate Array
Program processors
Counterexample
Field programmable gate arrays (FPGA)
Encoding