Formal verification of n-bit ALU using theorem proving

DOI10.1007/978-3-030-03044-5_6zbMATH Open1519.68140OpenAlexW2896476405MaRDI QIDQ6165885

Author name not available (Why is that?)

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-03044-5_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Switching theory, applications of Boolean algebras to circuits and networks (94C11) Formalization of mathematics in connection with theorem provers (68V20) Networks and circuits as models of computation; circuit complexity (68Q06)

Related Items (1)

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

This page was built for publication: Formal verification of n-bit ALU using theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165885)