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
Evaluating the long-term costs and benefits of community-based initiatives. The ultimate benefit from the research is a more efficient allocation of public funds to provide public services, i.e. an increase in the gain derived from the government budget. The relative advantages of alternative methods of delivering government services are subject to significant uncertainty, which means that policy decisions are often poorly informed. Improvements in the accuracy of predicting the costs and benefi ....Evaluating the long-term costs and benefits of community-based initiatives. The ultimate benefit from the research is a more efficient allocation of public funds to provide public services, i.e. an increase in the gain derived from the government budget. The relative advantages of alternative methods of delivering government services are subject to significant uncertainty, which means that policy decisions are often poorly informed. Improvements in the accuracy of predicting the costs and benefits of complex community-based initiatives will help policymakers identify the set of initiatives that provide the best outcomes for the community they serve, as well as informing the optimal specification of the individual initiatives.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
Special Research Initiatives - Grant ID: SR0354734
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
The Australian Research Network for Medical Devices: advanced technology solutions for patients and practitioners. Medical Device technologies embrace a wide range of scientific, engineering and medical knowledge, with the goal of assisting a clinical professional (doctor or nurse) deliver a service to a patient in an efficacious, cost effective manner. Development of appropriate medical devices, whether for diagnosis, treatment or prevention of disease or disability, is critical to improving h ....The Australian Research Network for Medical Devices: advanced technology solutions for patients and practitioners. Medical Device technologies embrace a wide range of scientific, engineering and medical knowledge, with the goal of assisting a clinical professional (doctor or nurse) deliver a service to a patient in an efficacious, cost effective manner. Development of appropriate medical devices, whether for diagnosis, treatment or prevention of disease or disability, is critical to improving health care and reducing health care costs. To be successful, a device must include all relevant disciplines in the research, development and testing phases. This network will bring together these groups, promoting knowledge sharing and cross-disciplinary investigations that illuminate current device limitations and potential solutions.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668322
Funder
Australian Research Council
Funding Amount
$147,000.00
Summary
Enhancing Australia's Terahertz Infrastructure. Anthrax, explosives, water, cancer all have characteristic signatures in the terahertz (THz) part of the electromagnetic spectrum. Security, defence, agriculture, medicine are a few of the fields where THz science and technology are booming. THz developments offer enhanced national security, prosperity and quality of life. Australia has active researchers in THz concentrated at several centres across the country, but they are hampered by their work ....Enhancing Australia's Terahertz Infrastructure. Anthrax, explosives, water, cancer all have characteristic signatures in the terahertz (THz) part of the electromagnetic spectrum. Security, defence, agriculture, medicine are a few of the fields where THz science and technology are booming. THz developments offer enhanced national security, prosperity and quality of life. Australia has active researchers in THz concentrated at several centres across the country, but they are hampered by their work by lack of access to state-of-the art experimental equipment. This project will provide that equipment and ensure the nation remains internationally competitive in this rapidly-developing field.Read moreRead less