Massive chip design savings to be realized
Friday, January 23, 2015 - 11:30
in Mathematics & Economics
IT researchers have developed a programming language making the massive costs associated with designing hardware more manageable. Chip manufacturers have been using the same chip design techniques for twenty years now. The current process calls for extensive testing after each design step - a massively expensive state of affairs. The newly developed, so-called functional programming language makes it possible to prove, in advance, that a design transformation is a hundred percent error-free.