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.

  • 2 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

Research Output 1986 2017

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

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

Field Programmable Gate Array
Program processors
Counterexample
Field programmable gate arrays (FPGA)
Encoding
3 Citations (Scopus)
Generator
Synthesis
Multi-valued Logic
Hardware
Latency