ArticlePDF Available

Formal synthesis of VLSI layouts from algorithmic specifications

Authors:

Abstract

Due to advances in VLSI technology, it is possible to implement complex digital systems on a single chip. However modeling such large and complex at structural level is tedious and error prone. This fact has motivated the development of several high-level synthesis systems. The process consists of translating the abstract behavioural representation. In this paper we present a formal approach for high level synthesis. This formal high level syntesis system uses recursive algorithms to model the behaviour to be synthesized. These algorithms can be mathematically verified for correctness before begin subjected to the task of translation. As a case study, the modelling and synthesis of VLSI layouts for matrix-matrix multipliers is discussed. Keywords: Formal synthesis, VLSI layous, Algorithmic specifications, high level synthesis
Sadiq M. Sait, Elleithy KM, MasudulHasan•Formal synthesis of VLSI layouts from algorithmic specifications •
COMPUTER SYSTEMS SCIENCE AND ENGINEERING 11 (2): 67-81 MAR 1996
ResearchGate has not been able to resolve any citations for this publication.
ResearchGate has not been able to resolve any references for this publication.