A computing unit for FFP function evaluation in support of correctness proofs

  • Authors:

  • M. Alderighi;G. R. Sechi;R. Vaccaro;L. Verdoscia

  • Affiliations:

  • Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy);Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy);Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy);Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy)

  • Venue:
  • MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
  • Year:
  • 1989

Quantified Score

Hi-index 0.01

Visualization

Abstract