๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Translation of VHDL for logic synthesis

โœ Scribed by MS Abrahams; A Rushton

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
734 KB
Volume
18
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Translations of Logical Formulas and the
Translations of Logical Formulas and the Equiconsistency Problem
โœ Andrei A. Kuzichev ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 369 KB

## Abstract A translation of formulas in a language __L__~1~ to formulas in a language __L__~2~ is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of the

A logic for synthesis design
A logic for synthesis design
โœ James B. Hendrickson; Elaine Braun-Keller; Glenn A. Toczko ๐Ÿ“‚ Article ๐Ÿ“… 1981 ๐Ÿ› Elsevier Science ๐ŸŒ French โš– 960 KB
Implications of VHDL timing models on si
Implications of VHDL timing models on simulation and software synthesis
โœ Venkatram Krishnaswamy; Rajesh Gupta; Prithviraj Banerjee ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 860 KB

In this paper, we address the timing semantics of the delay models handled by VHDL. A formal model is used to characterize the runtime work required to resolve multiple assignments to signals for each of these models. Subsets of these timing models which require minimal work at runtime for resolutio

Synthesis of reversible logic for nanoel
Synthesis of reversible logic for nanoelectronic circuits
โœ Alexis De Vos; Yvan Van Rentergem ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 163 KB

## Abstract Reversible logic circuits can be synthesized hierarchically by dividing them into smaller, more manageable blocks. As all reversible circuits of a certain width __w__ form a group, this problem relates to the partitioning of a group into (double) cosets. In this article, we propose thre