Parallel gröbner basis rewriting and memory optimization for efficient multiplier verification

Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
January 2024
Cite
Type
Conference paper
Publication
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Add the full text or supplementary notes for the publication here using Markdown formatting.