Login / Signup

Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.

Feng LiuXiaoyu SongQingping TanGang Chen
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
  • formal analysis
  • formal methods
  • floating point
  • floating point unit
  • agent model
  • ban logic
  • artificial intelligence
  • knowledge base
  • collaborative filtering
  • low cost