Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.
Hongduo LiuPeiyu LiaoJunhua HuangHui-Ling ZhenMingxuan YuanTsung-Yi HoBei YuPublished in: DATE (2024)
Keyphrases
- numerically stable
- limited memory
- optimization algorithm
- optimization method
- parallel execution
- global optimization
- memory space
- optimization problems
- polynomial equations
- parallel processing
- model checking
- evolutionary algorithm
- memory usage
- parallel computation
- parallel implementation
- memory requirements
- memory footprint