Log in
Effective industrial design and simulation require efficient and versatile computing systems. As a result of research performed by our team experienced in High Performance Computing (HPC), novel software structures and aligned hardware architectures have led to significant benefits to the energy supply industry and to microprocessor manufacturers.
As a result of our research with supercomputing, simulation times for electric field patterns in power components have reduced more than 30-fold, with accurate complex 3-D outputs for an increased range of configurations, thereby enabling our partner company to achieve results not possible with commercial software and to reduce product development costs by $0.5M - $5M p.a.
Our research has been incorporated by Intel into their numerical libraries and now made available to the general public supported by their latest processor architectures. Intel now has a 82% share of processors, according to the November 2013 Top500 list.
This case study describes the impact of the EnCore microprocessor, and the associated ArcSim simulation software, created in 2009 by the Processor Automated Synthesis by iTerative Analysis (PASTA) research group under Professor Nigel Topham at the University of Edinburgh. Licensing to Synopsys Inc. in 2012 brought the EnCore and ArcSim technologies to the market. Synopsys Inc. is a world-leading Silicon Valley company. It is the largest Electronic Design Automation (EDA) company in the world, and the second largest supplier of semiconductor IP. EnCore is achieving a global impact through this worldwide channel. The commercial derivatives of the EnCore technology provide manufacturers of consumer electronics devices with an innovative low-power, high-performance microprocessor that they can customize to their specific application requirements, enabling the next generation of electronic devices.
In the last 20 years, reconfigurable technology has transformed High-Performance Computing and Embedded Systems Design. Research of the Custom Computing and Reconfigurable Systems groups at Imperial made pivotal contributions to this transformation, targeting particularly Field-Programmable Gate Array (FPGA) technology. Since 2008, the impact of this research has been to
The difficulty of certifying the safety (often termed Verification and Validation — V&V) of increasingly complex and more autonomous Guidance, Navigation and Control (GNC) systems is now widely accepted to be a serious threat to the success of future space missions. In response to this threat, the European Space Agency has funded Dr Prathyush P Menon and his team to develop a suite of mathematical tools for the V&V of advanced GNC systems. These tools have now been widely adopted throughout the European Space industry, and have been successfully applied by major companies such as Astrium, Thales-Alenia and GMV to systems ranging from flexible and autonomous satellites, to launch vehicles and hypersonic re-entry vehicles.
In the last 20 years, reconfigurable technology has transformed High-Performance Computing and Embedded Systems Design. Research of the Custom Computing and Reconfigurable Systems teams at Imperial made pivotal contributions to this transformation, targeting particularly Field-Programmable Gate Array (FPGA) technology. Since 2008, the impact of this research has been to
I1) underpin design flow for partial run-time reconfigurable designs for Xilinx FPGA devices;
I2) contribute to the start-up company Maxeler, pioneering reconfigurable computing systems and cloud services for high-performance computing in the financial and other sectors;
I3) enable near real-time risk analysis for JP Morgan's global portfolio to analyse and manage risk much faster than previously possible;
I4) achieve about 250 times speedup for Chevron's seismic modelling for oil and gas exploration, compared to the alternative use of CPU-based machines;
I5) accelerate a financial market integrity platform for BlueBee and HL Steam in hardware.
Loughborough University's (LU) interdisciplinary model based systems engineering (MBSE) research (2001-2010) has directly enabled life-saving operations by i) Developing synthetic vision systems to improve the safety of emergency services helicopter operations involving low level flight during day, night, all weather and conditions of zero visibility, and ii) Saving lives through a reduction in morbidity and mortality of babies born with congenital heart defects.
The impact translates directly into significant cost savings and safety risk reductions in expensive flight trials costing millions of pounds by BAE Systems [5.1], and in supporting clinical practice/surgical interventions by University Hospital of Rennes [5.2] with a reduction in the morbidity and mortality of babies born with congenital heart defects in Brittany, France.
Modern processor architectures (networked multi/many-core nodes), together with society's expectation of evermore-complex applications, require fluent mastery of concurrency. To enable this mastery, in the last two decades our group has taught, researched and developed fundamental notions of concurrency, new programming languages (occam-pi, and the KRoC toolset), libraries (JCSP, CCSP, C++CSP, CHP), runtime systems (the KRoC/CCSP multicore scheduler) and tools based on formal process algebra (Hoare's CSP, and Milner's pi-calculus).
Our work has had impact in providing new mechanisms for software development in a number of sectors such as chip design, large-scale real-time systems, formal interfaces and testing and the space industry. Testimonials supporting this are available from a variety of industrial and commercial sources (NXP Semiconductors, Big Bee Consultants, Philips Healthcare, 4Links Ltd. and Microsoft Research Cambridge). The breadth of impact of the work is evidenced by download statistics, as well as by third-party contributions to libraries and documentation.
Research (1993-2008) on novel silicon architectures and design methodologies for digital signal and video processing led to the creation of world leading semiconductor IP cores (chip designs) for implementing the main video and image compression standards including H.264, MPEG4, MPEG2, and JPEG2000. These have been licensed to semiconductor manufacturers worldwide including Panasonic, Sony, Toshiba and Sharp. Since 2008, such encoders/decoders have been incorporated into all DTV/HDTV SoCs produced by Conexant, NXP, Trident Microsystems and Entropic. They have also been used as the hardware acceleration engines in Intel's C2110 Media Processor. At least 150 million chips worldwide having been manufactured incorporating this technology.
Binary translation enables applications compiled for one architecture to run on another. Research on dynamic binary translation was commercialised through the spin-out company Transitive in 2000. Transitive employed 80 staff at its engineering lab in Manchester and delivered over 20 million copies of its software, before being acquired by IBM in 2009, giving rise to the IBM Manchester Lab. Transitive technology was fundamental in Apple's transition to Intel CPU chips, and was shipped with around 14 million Mac computers during the REF period. The technology was described as "The most amazing software you'll never see" by Steve Jobs.
Optimisation tools developed in the UoA have significantly advanced the ability to find the best designs for complex systems in cases where these were previously unobtainable. These optimisation tools have been implemented in several companies to shorten design times, reduce costs and reduce CO2 emissions. This has brought about new multi-million pound revenues, long-term contracts, increased employment and contribution to sustainability targets.