Wolf-Dieter Tiedemann

Learn More
Given u controller speci$cation, it is attractive to syrt-thesize alternative impletnt?ntalions .followittg d(fferenl design paradigms such as synchronous, asynchronous or mixed-mode techniques. Present approaches to automatic top-down as well as to interactive bottom-up synthesis fail to support multiple paradigms, because they are based on internal(More)
  • 1