Simulation of IBM Enterprise System/9000 Models 820 and 900
IBM Journal of Research and Development
On the Relationship Between Partition and Random Testing
IEEE Transactions on Software Engineering
AVPGEN—a test generator for architecture verification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Functional verification of the CMOS S/390 parallel enterprise server G4 system
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
Functional verification methodology for microprocessors using the Genesys test-program generator
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Number-Theoretic Test Generation for Directed Rounding
IEEE Transactions on Computers - Special issue on computer arithmetic
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
Software Testing Techniques
Decimal Floating-Point: Algorism for Computers
ARITH '03 Proceedings of the 16th IEEE Symposium on Computer Arithmetic (ARITH-16'03)
The IBM eServer z990 floating-point unit
IBM Journal of Research and Development
Millicode in an IBM zSeries processor
IBM Journal of Research and Development
FPgen - a test generation framework for datapath floating-point verification
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Decimal floating-point support on the IBM system z10 processor
IBM Journal of Research and Development
A survey of hardware designs for decimal arithmetic
IBM Journal of Research and Development
Error-free algorithm and architecture of radix-10 logarithmic converter
Computers and Electrical Engineering
Function approximation on decimal operands
Digital Signal Processing
International Journal of Reconfigurable Computing - Special issue on selected papers from ReconFig 2009 International conference on reconfigurable computing and FPGAs (ReconFig 2009)
A study of decimal left shifters for binary numbers
Information and Computation
An iterative method for improving decimal calculations on computers
Mathematical and Computer Modelling: An International Journal
Delay-based processing-in-wire for design of QCA serial decimal arithmetic units
ACM Journal on Emerging Technologies in Computing Systems (JETC)
| Hi-index | 0.00 |
Although decimal arithmetic is widely used in commercial and financial applications, the related computations are handled in software. As a result, applications that use decimal data may experience performance degradations. Use of the newly defined decimal floating-point (DFP) format instead of binary floating-point is expected to significantly improve the performance of such applications. System z9TM is the first IBM machine to support the DFP instructions. We present an overview of this implementation and provide some measurement of the performance gained using hardware assists. Various tools and techniques employed for the DFP verification on unit, element, and system levels are presented in detail. Several groups within IBM collaborated on the verification of the new DFP facility, using a common reference model to predict DFP results.