Reconfigurable Digital Systems

Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis

by Jonathan Bowen

Phan Cong Vinh and Jonathan P. Bowen. In Marina Gavrilova and C. J. Kenneth Tan (eds.), Transactions on Computational Science I, Springer-Verlag, LNCS, Volume 4750, pages 1-36, June 2008. DOI: 10.1007/978-3-540-79299-4_1

Reconfigurable computing refers to the notions of configware and flowware. Configware means structural programming, or... more Reconfigurable computing refers to the notions of configware and flowware. Configware means structural programming, or programming in space to execute computation in space. Flowware means data-flow programming that schedules the data flow for output from or input to the configware architecture. In this paper, data flows of a synthesized computation are formalized. This means that data flow is specified as a behavioral stream function in stream calculus, which is used to underpin the semantics for Register Transfer Level (RTL) synthesis. A stream representation allows the use of coinductive principles in stream calculus. In particular, using the coinductive proof principle, we show that behavioral stream functions in the three-stage synthesis process (scheduling, register allocation and binding, allocation and binding of functional units) are always bisimilar regardless of changes in a scheduling, allocation or binding procedure. Our formalization makes pipelining possible, in which all functional units as well as registers of hardware resources are reused during different control steps (C-steps). Moreover, a coinductive approach to verifying flowware synthesis, which is independent of the heuristic during register allocating and binding step, is proposed as a practical technique.

Keywords: Dynamic reconfiguration - Reconfigurable computing - Dynamically Programmable Gate Array (DPGA) - Flowware - Configware - Configware engineering - Embedded systems - Formal methods

Field Programmable Processor Array: Reconfigurable Computing for Space

by Kenneth Hass

Integrated Water Management: Models for Integrating Rainwater, Greywater and Freshwater Use in Australian Homes with Digital Ecosystems

by Nalin Sharda

Sharda,Nalin (2010). Integrated Water Management: Models for Integrating Rainwater, Greywater and Freshwater Use in Australian Homes with Digital Ecosystems, OzWater '10 Conference, Brisbane Convention and Exhibition Centre, Brisbane, Queensland from 8-10 March, 2010.

This paper investigates models and technologies that will help in developing integrated water management (IWM) systems... more This paper investigates models and technologies that will help in developing integrated water management (IWM) systems by using a Digital Ecosystem. A Digital Ecosystem (DE) is an evolving computer based system that can merge with the system it monitors and controls. We present the sustainable living rational for developing IWM systems, and models for the integrated use of fresh and recycled water. Development of innovative solution for sustainable living has become essential in recent times. The concept of Digital Ecosystem is an innovative solution for creating IWM systems, as it is flexible and extensible in space and time. Further research for the development of DEs, using computing technologies such as Wireless Sensor Networks, Smart Systems, and Ubiquitous Computing is required to develop Digital Habitat Ecosystems for integrating the use of freshwater, rainwater and greywater in Australian homes.