Rewriting environment for arithmetic circuit verification

DOI10.29007/RSWKMaRDI QIDQ5222992zbMATHOpenAlexFDO

Authors Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej Ciesielski

Publication date 4 July 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/rswk

zbMATH Keywords

computer algebraarithmetic circuitsformal verification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Incremental column-wise verification of arithmetic circuits using computer algebra
• Automated and scalable verification of integer multipliers
• Using an induction prover for verifying arithmetic circuits

Cited in

(7)

• Rewrite based hardware verification with ReDuX
• Designing arithmetic circuits by refinement in Ruby
• Automated and scalable verification of integer multipliers
• petBoss
• Rewrite systems for integer arithmetic
• Reveal: A Formal Verification Tool for Verilog Designs
• Incremental column-wise verification of arithmetic circuits using computer algebra

Describes a project that uses

Uses Software

• SINGULAR
• STABLE
• ABC

This page was built for publication: Rewriting environment for arithmetic circuit verification

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