1. Gaffar, A., et al.: Floating-point bitwidth analysis via automatic differentiation. In: Proc. Int. Conf. on Field-Prog. Tech., IEEE, Los Alamitos (2002)
2. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in Haskell. In: Proc. ACM Int. Conf. on Functional Prog., ACM Press, New York (1998)
3. Bondalapati, K., Prasanna, V.K.: Dynamic precision management for loop computations on reconfigurable architectures. In: Proc. Symp. on Field-Prog. Custom Computing Machines, IEEE Computer Society Press, Los Alamitos (1999)
4. Celoxica.: Handel-C Language Reference Manual for DK2.0, Document RM-1003-4.0 (2003)
5. Constantinides, G.A., Cheung, P.Y.K., Luk, W.: The multiple wordlength paradigm. In: Proc. Symp. on Field-Program. Custom Computing Machines, IEEE Computer Society Press, Los Alamitos (2001)