How to use a CAS for Hardware Design Automation-Reference-Cited by-同舟云学术

How to use a CAS for Hardware Design Automation

Published:2023-09 Issue:3 Volume:57 Page:141-147
ISSN:1932-2240
Container-title:ACM Communications in Computer Algebra
language:en
Short-container-title:ACM Commun. Comput. Algebra

Author:

Zidarič Nuša¹

Affiliation:

1. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

Abstract

With the rise of new technologies, the demand for efficient cryptographic hardware is rising. This work is focusing on finite field based cryptography. To explore the vast design space obtained from possible finite field parameters, automated generation of hardware submodules using designer-specified algorithms for finite field arithmetic is needed. This work presents a hardware design automation framework exploiting symbolic computation capabilities of GAP to generate the expressions, needed for hardware implementations, on-the-fly, and compiles them into synthesizable datapaths, test-vectors, and testbences.

Publisher

Association for Computing Machinery (ACM)

Subject

Microbiology (medical),Immunology,Immunology and Allergy

Link

https://dl.acm.org/doi/pdf/10.1145/3637529.3637536

Reference5 articles.

1. The GAP Group , GAP - Groups , Algorithms, and Programming , Version 4.12.2 ; 2022 . The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.12.2; 2022.

2. Handbook of Finite Fields

3. FFCSA - Finite Field Constructions, Search, and Algorithms

4. Nuša Zidarič "Automated Design Space Exploration and Datapath Synthesis for Finite Field Arithmetic with Applications to Lightweight Cryptography" PhD Thesis UWSpace 2020. Nuša Zidarič "Automated Design Space Exploration and Datapath Synthesis for Finite Field Arithmetic with Applications to Lightweight Cryptography" PhD Thesis UWSpace 2020.

5. Tower field support for synthesis of datapaths