Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees (Q5346081)
From MaRDI portal
scientific article; zbMATH DE number 6727308
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees |
scientific article; zbMATH DE number 6727308 |
Statements
Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees (English)
0 references
8 June 2017
0 references
