LBSD4: Synthesis for SoC and beyond

This session presents very different concept from the large field of system synthesis. The first paper addresses the synthesis of complex glue logic for integration of components of Systems-on-Chip. The second contribution demonstrates a synthesis concept for a rich subset of Haskell into synthesisable VHDL. In contrast to domain specific languages like ForSyDe or Lava it supports plain Haskell. Reversible logic has been described more than 30 years ago and might offer high potential for very efficient solutions. However, it still lacks efficient design methodology support. SyReC is the subject of the third paper and describes a synthesisable programming language for this type of target logic.