Work

Formal Verification and Verilog Code Generation for Coq-based Carry-Lookahead Adder Algorithm

Year: 2024

Type: conference-paper

Source: International Conference on Integrated Circuits and Microsystems (ICICM)

DOI: 10.1109/icicm63644.2024.10814122

Authors: Kexin Chen, Gang Chen

Institution: Nanjing University of Aeronautics and Astronautics

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405936974

FWCI:

Cites: 17

Cited by:

Related to: 10