A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism

Lin Li, Rui Li, Yajun Ha. A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(11):3972-3984, November 2023. [doi]

@article{LiLH23-6,
  title = {A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism},
  author = {Lin Li and Rui Li and Yajun Ha},
  year = {2023},
  month = {November},
  doi = {10.1109/TCAD.2023.3251741},
  url = {https://doi.org/10.1109/TCAD.2023.3251741},
  researchr = {https://researchr.org/publication/LiLH23-6},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {42},
  number = {11},
  pages = {3972-3984},
}