✦ LIBER ✦

Automated datapath synthesis: a compilation approach

✍ Scribed by Peter Pfahler

Publisher: Elsevier Science
Year: 1987
Weight: 673 KB
Volume: 21
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(87)90093-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A graph-based algorithm for the automate

A graph-based algorithm for the automated datapath synthesis of ASM

✍ Yau Hwang Kuo; Jang Pong Hsu; Ling Yeung Kung 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 450 KB

A high-level datapath synthesis method f

A high-level datapath synthesis method for pipelined structures

✍ Péter Arató; lstván Béres; Andrzej Rucinski; Robert Davis; Roy Torbert 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 696 KB

SynCar: An Approach to Automated Synthes

SynCar: An Approach to Automated Synthesis.

✍ Angelika Weber; Erich von Roedern; Hans Ulrich Stilz 📂 Article 📅 2005 🏛 John Wiley and Sons ⚖ 8 KB 👁 1 views

Evaluation of functional linear recursio

Evaluation of functional linear recursions: A compilation approach

✍ Jiawei Han; Wang Qiang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 672 KB

Proving a compiler correct: A simple app

Proving a compiler correct: A simple approach

✍ G. Germano; A. Maggiolo-Schettini 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 523 KB

The paper shows how compiler correctness can be proved, provided that semantics of the source language is defined by recursion on the definition of its syntax. The exposition is done by way of an easy example.

Split-split. A multiple synthesiser appr

Split-split. A multiple synthesiser approach to efficient automated parallel synthesis

✍ Paul Brooking; Andrew Doran; Paul Grimsey; Nicholas W. Hird; William S. MacLachl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 French ⚖ 256 KB