Proof of correctness of high-performance 3-1 interlock collapsing ALUs

@article{Phillips1993ProofOC,
  title={Proof of correctness of high-performance 3-1 interlock collapsing ALUs},
  author={James E. Phillips and Stamatis Vassiliadis},
  journal={IBM Journal of Research and Development},
  year={1993},
  volume={37},
  pages={12-21}
}
A 32-bit 3-1 interlock coilapsing ALU, proposed to ailow the execution of two interioclced ALU-type instructions in one machine cycle using an instruction-level parallel machine implementation, is shown to produce results equivalent to a serial execution of the instructions using a 2-1 ALU. The equivalence is shown by deriving tables which represent all possible requirements for the serial execution of the instructions followed by the generalization of the table to represent sets of… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Interlock Collapsing ALUs," IEEE Trans

  • S. Vassiliadis, J. Phillips, B. Blaner
  • Computers,
  • 1992
Highly Influential
9 Excerpts

Recursive Equations for Hardwired Binary Adders,

  • S. Vassiliadis
  • Int. J. Electron
  • 1989
Highly Influential
4 Excerpts

and R

  • S. Vassiliadis, B. Blaner
  • J. Eickemeyer, "SCISM: A Scalable Compound…
  • 1992
2 Excerpts

and S

  • N. Malik, R. J. Eickemeyer
  • Vassiliadis, "Interlock Collapsing ALU for…
  • 1992
1 Excerpt

Condition Code and Overflow Determination for 3-Operand SCISM ALUS," Technical Report TROl

  • J. Phillips, S. Vassiliadis
  • C207, IBM Glendale Laboratory, Endicott, NY…
  • 1991
2 Excerpts

and B

  • S. Vassiliadis, J. Phillips
  • Blaner, "ICU Design Considerations," Technical…
  • 1991
2 Excerpts

and J

  • S. Vassiliadi
  • Phillips, "Interlock Collapsing SCISM ALU Design…
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…