Access Restriction

Author Möller, M. Oliver ♦ Rueß, Harald
Source CiteSeerX
Content type Text
Publisher Springer-Verlag
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Extraction Position ♦ Transformation System ♦ Unknown Size ♦ Unknown Extraction Position ♦ Bit-vector Equation ♦ Equational Transformation System ♦ Non-fixed Size Bit-vector Term
Description This paper is concerned with solving equations on fixed and non-fixed size bit-vector terms. We define an equational transformation system for solving equations on terms where all sizes of bit-vectors and extraction positions are known. This transformation system suggests a generalization for dealing with bit-vectors of unknown size and unknown extraction positions. Both solvers adhere to the principle of splitting bitvectors only on demand, thereby making them quite effective in practice.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1998-01-01
Publisher Institution Formal Methods in Computer-Aided Design (FMCAD '98