Skip to Main Content
Current design tools are lagging behind and, in some cases, slowing the growth of the VLSI market. Disruptive design methods are necessary to bridge the gap. Abstraction and re-use are believed to be the most promising approaches. However, difficult open questions still exist in this new flow. In particular, how a high-level design can be transformed into an implementation while ensuring full (formal) verification of the correspondence between the models.