Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Special Research Initiatives - Grant ID: SR0354735
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exp ....Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exploit unique semiconductor systems and technologies. By sharing capabilities and resources (both capital and human), the network will enable the issues associated with such novel materials and devices to be addressed in a targeted manner. The network will also guarantee the ongoing future of research in the area by actively involving early career researchers and postgraduate students.Read moreRead less
Millimetre Wave Communication Systems for Consumer Applications. The key outcome of this cross-disciplinary project will be a prototype single-chip (RF section), short-range, 1Gigabit/second, wireless network operating at 60 GHz. This will employ new Silicon Germanium technology in a 'system on chip' methodology that will pave the way for low-cost consumer applications of such technology. A new design flow will be developed to support this project, which will enable first silicon pass correct d ....Millimetre Wave Communication Systems for Consumer Applications. The key outcome of this cross-disciplinary project will be a prototype single-chip (RF section), short-range, 1Gigabit/second, wireless network operating at 60 GHz. This will employ new Silicon Germanium technology in a 'system on chip' methodology that will pave the way for low-cost consumer applications of such technology. A new design flow will be developed to support this project, which will enable first silicon pass correct design of complete mm-wave millimetre wave radios on a single chip, a feat that has yet to be demonstrated. A new communication system will be developed to support the high data rates proposed. The significance will be application in very high speed high-bandwith wireless local networks.Read moreRead less
Multi-channel reconfigurable high dynamic range digital receivers. Wireless communication systems have important defence and commercial applications, most obviously in the form of the mobile telephone network. Future wireless systems will require much higher levels of performance, in the form of ability to receive and distinguish signals from multiple sources that are physically close together and transmit on similar frequencies.
In this project we will develop a test system that will allow us ....Multi-channel reconfigurable high dynamic range digital receivers. Wireless communication systems have important defence and commercial applications, most obviously in the form of the mobile telephone network. Future wireless systems will require much higher levels of performance, in the form of ability to receive and distinguish signals from multiple sources that are physically close together and transmit on similar frequencies.
In this project we will develop a test system that will allow us to undertake research on new algorithms that will achieve these higher levels of performance. Our objective is to demonstrate dramatic improvements in the capabilities of receivers for future generation mobile phone and defence surveillance systems.
Read moreRead less
Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address th ....Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address this issue by developing novel hardware verification techniques targeting complex high performance systems-on-a-chip. The research outcome will be a set of verification techniques and tools that directly benefit the advancement of future integrated circuit development, verification and manufacturing.Read moreRead less
Low Power Architectures for the Wavelet Transform and JPEG2000. Recently a new international standard for image compression has been proposed, JPEG2000. This new method updates the well established JPEG standard and will be incorporated into digital cameras, web pads, etc.
In this project we will investigate low power architectures for the wavelet transforms used in this standard, and combine this with an embedded processor core to deliver a complete system on a chip solution for low power JPEG ....Low Power Architectures for the Wavelet Transform and JPEG2000. Recently a new international standard for image compression has been proposed, JPEG2000. This new method updates the well established JPEG standard and will be incorporated into digital cameras, web pads, etc.
In this project we will investigate low power architectures for the wavelet transforms used in this standard, and combine this with an embedded processor core to deliver a complete system on a chip solution for low power JPEG2000.Read moreRead less
RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this ....RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this project is to design new public-key cryptography hardware to provide faster, more secure communications for computers, networks and smart cards. Achieving this will require innovations in the way computers perform arithmetic and how this arithmetic is realised as an integrated circuit.Read moreRead less
Development of a novel flex sensor for use on catheters in medical pressure diagnostic tools. This research project will lead to a significant improvement on the technologies currently available to diagnostic tests of swallowing dysfunctions in children. The proposed technology is much needed and will enable future development of more direct and targeted interventions to assist with feeding based on these measurement techniques. In addition, the knowledge and expertise learned from this project ....Development of a novel flex sensor for use on catheters in medical pressure diagnostic tools. This research project will lead to a significant improvement on the technologies currently available to diagnostic tests of swallowing dysfunctions in children. The proposed technology is much needed and will enable future development of more direct and targeted interventions to assist with feeding based on these measurement techniques. In addition, the knowledge and expertise learned from this project as applied to such a miniature medical device comprises sufficient generic know-how to be useful in developing other biomedical devices. These developments will have a tangible technological impact in a way that will help the Australian biomedical industry be more competitive in the global market.Read moreRead less