Login / Signup

PHDD: an efficient graph representation for floating point circuit verification.

Yirng-An ChenRandal E. Bryant
Published in: ICCAD (1997)
Keyphrases
  • graph representation
  • floating point
  • graph model
  • fixed point
  • square root
  • instruction set
  • adjacency matrix
  • interval arithmetic
  • fast fourier transform
  • floating point arithmetic
  • graph representations
  • sparse matrices