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
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
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
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
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