![Chips without bugs: a new software tool for designing computer hardware](http://www.imperial.ac.uk/ImageCropToolT4/imageTool/uploaded-images/newseventsimage_1718726027751_featurenews2012_x1.jpg)
![shadow](http://www.imperial.ac.uk/assets/news/img/image_shadow_sidebar.png)
Verified designs
Chips without bugs: a new software tool for designing computer hardware
Imperial researchers are developing a new way to design more efficient computer chips that are mathematically proven to be free from bugs.