Accelerating SAT-based boolean matching for heterogeneous FPGAS using one-hot encoding and CEGAR technique

研究成果: ジャーナルへの寄稿学術誌査読

2 被引用数 (Scopus)

フィンガープリント

「Accelerating SAT-based boolean matching for heterogeneous FPGAS using one-hot encoding and CEGAR technique」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science