List of works
国際会議
[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.