Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

この検索内の頻出タグ: encoding-based:1 fpga:1 path:1 problem:1 sat:1 sneak:1 verification:1 via-switch:1

1 件の該当がありました． : このページのURL : HTML


国際会議
[1] R. Doi and M. Hashimoto, "SAT Encoding-Based Verification of Sneak Path Problem in Via-Switch FPGA," Proceedings of IEEE Computer Society Annual Symposium on VLSI (ISVLSI), July 2018. [pdf]