FRIDGE: a fixed-point design and simulation environment. Digital systems, especially those for mobile applications are sensitive to power consumption, chip size and costs. Therefore they are realized using fixed-point architectures, either dedicated HW or programmable DSPs. On the other hand, system design starts from a floating-point description. These requirements have been the motivation for FRIDGE (Fixed-point pRogrammIng DesiGn Environment), a design environment for the specification, evaluation and implementation of fixed-point systems. FRIDGE offers a seamless design flow from a floating- point description to a fixed-point implementation. Within this paper we focus on two core capabilities of FRIDGE: (1) the concept of an interactive, automated transformation of floating-point programs written in ANSI-C into fixed-point specifications, based on an interpolative approach. The design time reductions that can be achieved make FRIDGE a key component for an efficient HW/SW-CoDesign. (2) a fast fixed-point simulation that performs comprehensive compile-time analyses, reducing simulation time by one order of magnitude compared to existing approaches.

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Pradhan, Tapan; Routray, Aurobinda; Kabi, Bibek: Comparative evaluation of symmetric SVD algorithms for real-time face and eye tracking (2013) ioport
  2. Wang, Cheng C.; Shi, Changchun; Brodersen, Robert W.; Marković, Dejan: An automated fixed-point optimization tool in Matlab XSG/SynDSP environment (2011) ioport
  3. Saldanha, Lance; Lysecky, Roman: Float-to-fixed and fixed-to-float hardware converters for rapid hardware/software partitioning of floating point software applications to static and dynamic fixed point coprocessors (2009) ioport
  4. Dandekar, Omkar; Plishker, William; Bhattacharyya, Shuvra S.; Shekhar, Raj: Multiobjective optimization for reconfigurable implementation of medical image registration (2008) ioport
  5. Akbarpour, Behzad; Tahar, Sofiène: Error analysis of digital filters using HOL theorem proving (2007)
  6. Akbarpour, Behzad; Tahar, Sofiène; Dekdouk, Abdelkader: Formalization of fixed-point arithmetic in HOL (2005)
  7. Akbarpour, Behzad; Tahar, Sofiène: Error analysis of digital filters using theorem proving (2004)
  8. Akbarpour, Behzad; Tahar, Sofiène: A methodology for the formal verification of FFT algorithms in HOL (2004)