Mehdi Baradaran Tahoori
Using satisfiability in application-dependent testing of FPGA interconnects
DAC, 2003.
@inproceedings{DAC-2003-Tahoori,
author = "Mehdi Baradaran Tahoori",
booktitle = "{Proceedings of the 40th Design Automation Conference}",
doi = "10.1145/775832.776003",
isbn = "1-58113-688-9",
pages = "678--681",
publisher = "{ACM}",
title = "{Using satisfiability in application-dependent testing of FPGA interconnects}",
year = 2003,
}











