scientific article; zbMATH DE number 5353378

MaRDI QIDQ3528910zbMATHFDO

Authors Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Publication date 17 October 2008

zbMATH Keywords

Arithmetic Bit-Level normalizalion

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Recommendations

• Study of the numerical efficiency of structured ABS-normal forms
• scientific article; zbMATH DE number 2090724
• scientific article; zbMATH DE number 1361357
• A Compiled Implementation of Normalization by Evaluation
• Normalisation for dynamic pattern calculi
• Application of modular computing technology to number normalization in floating point arithmetic
• Normalization by evaluation and algebraic effects
• Abstracting models of strong normalization for classical calculi
• A compiled implementation of normalisation by evaluation

Cited in

(2)

• Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey
• GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

This page was built for publication:

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