Work

High-level optimization of integer multipliers over a finite bit-width with verification capabilities

Year: 2009

Type: conference-paper

Source: ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

DOI: 10.1109/memcod.2009.5185378

Authors: O. Sarbishei, M. Tabandeh, B. Alizadeh, M. Fujita

Institutions: Sharif University of Technology, Japan Science and Technology Agency, The University of Tokyo

Language: English

Topic: Cryptography and Residue Arithmetic

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3152010679

FWCI: 0.218

Cites: 12

Cited by: 2

Related to: 10