An automatically verified generalized multifunction arithmetic pipeline

Authors:
Matthias Mutz
Affiliations:
Universität Passau, Lehrstuhl Rechnerstrukturen (Prof. W. Grass), D-94030 Passau, Germany
Venue:
EURO-DAC '94 Proceedings of the conference on European design automation
Year:
1994

Citing 3
Cited 0

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior

CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract