SAT-Lancer: A Hardware SAT-Solver for Self-Verification (bibtex)
by Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler
Reference:
Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler, "SAT-Lancer: A Hardware SAT-Solver for Self-Verification", In ACM Great Lakes Symposium on VLSI, pp. 479-482, 2018.
Bibtex Entry:
@inproceedings{UHGD:2018,
  author    = {Buse Ustaoglu and Sebastian Huhn and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{SAT-Lancer:} A Hardware {SAT}-Solver for Self-Verification},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  pages     = {479--482},
  year      = {2018},
  keywords={easecrc_cognitive_arch_systems}
}
Powered by bibtexbrowser