Программируемая логика и ЦОС

нет. для нормализации нужно знать результат. и до операции, если есть денормализованные числа, с экспонентами надо разбираться до умножения. еще рекомендую DW от синопсиса посмотреть. а вообще в libm (по-моему, хотя может и в либглосс, не помню) есть С код в целых числах