Parallel Grbner 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

Browse the full DATE paper archive.