Gerry Musgrave

Learn More
– The growing complexity of devices to be designed and manufactured, and the need to reduce the time–to–market, stress the importance of sound design methodologies. In this framework formal synthesis has the advantage of increasing the quality both of the design process and of the realized devices. The problem of relating the different abstraction levels(More)
  • 1