A Faster GR(1) Synthesis Algorithm
Hans Juergen Gamauf
Broschiertes Buch

A Faster GR(1) Synthesis Algorithm

From a formal specification to a hardware circuit

Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
With the invention of computers, the desire for robust and accurate solutions arose. There are different approaches or techniques to achieve this goal - like carefully developing and testing the solution upon a specification written in any natural language, or using a formal language which is well defined and doesn't lead to misunderstandings. And with the introduction of formal languages, also the possibility of computerized testing or even synthesis of such systems evolved. But subsequently there are different problems, one is that it is not very easy to write a formal specification at all t...