SYSTEMATIC SYNTHESIS OF PARALLEL VLSI ARCHITECTURES FROM FP SPECIFICATIONS AND ITS APPLICATION TO SCENE MATCHING

TSANAKAS, P; PAPAKONSTANTINOU, G; BILALIS, N

dc.contributor.author	TSANAKAS, P	en
dc.contributor.author	PAPAKONSTANTINOU, G	en
dc.contributor.author	BILALIS, N	en
dc.date.accessioned	2014-03-01T01:41:33Z
dc.date.available	2014-03-01T01:41:33Z
dc.date.issued	1992	en
dc.identifier.issn	0165-6074	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/23522
dc.subject.classification	Computer Science, Hardware & Architecture	en
dc.subject.other	HIGH-LEVEL SYNTHESIS	en
dc.subject.other	DESIGN METHODOLOGY	en
dc.subject.other	HARDWARE	en
dc.subject.other	PROGRAMS	en
dc.subject.other	ALGEBRA	en
dc.title	SYSTEMATIC SYNTHESIS OF PARALLEL VLSI ARCHITECTURES FROM FP SPECIFICATIONS AND ITS APPLICATION TO SCENE MATCHING	en
heal.type	journalArticle	en
heal.language	English	en
heal.publicationDate	1992	en
heal.abstract	A new CAD system for the development of problem-oriented VLSI architectures, exploiting the inherent parallelism of the respective algorithms, is presented. The behavioral specifications are given in an extended version of the FP language, which allows abstract and generic definitions, and can be subject to formal algebraic transformations. The presented system is capable of synthesizing VLSI architectures from FP specifications, taking into account the user-provided specifications for the sequencing of the input data in the final architecture. The application of scene matching is presented as a case study for the development of alternative parallel scene-matching architectures, using the same FP specifications with different input data sequencing forms. It is shown that the resulting architectures are comparable with others that have been designed on an ad hoc basis.	en
heal.publisher	ELSEVIER SCIENCE BV	en
heal.journalName	MICROPROCESSING AND MICROPROGRAMMING	en
dc.identifier.isi	ISI:A1992JN55700090	en
dc.identifier.volume	35	en
dc.identifier.issue	1-5	en
dc.identifier.spage	579	en
dc.identifier.epage	586	en