Results 251 to 260 of about 10,563,202 (308)

Formal verification of synthesized analog designs

Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040), 2003
We present an approach for formal verification of the DC and low frequency behavior of synthesized analog designs containing linear components and components whose behavior can be represented by piecewise linear models. A formal model of the structural description of a synthesized design is extracted from the sized component netlist produced by the ...
Abhijit Ghosh, Ranga Vemuri
openaire   +2 more sources

Transformations for functional verification of synthesized designs

Proceedings of the 8th International Conference on VLSI Design, 2002
A major problem with low-level functional verification of any hierarchical system is the explosion of reachable states created when clocking mechanisms are incorporated into the model. These additional states make verification more difficult, usually to the point that verification at such a low level is not feasible.
William L. Bradley, Ranga Vemuri
openaire   +2 more sources

What-if Design as a Synthesizing Working Method in Product Design

CIRP Annals, 2006
What-if design attempts to support the designer by addressing design problems, both in his own field of expertise, as well as from adjoining domains. To this end, What-if design research focuses on the development of methods and tools for real-time, in-process, design support in order to enhance the search for optimal solutions.
Vaneker, Thomas H.J.   +1 more
openaire   +2 more sources

Design of a Scalable and Programmable Sound Synthesizer

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2010
Sound synthesis employed in many multimedia systems is a useful method to generate the sound of musical instruments. Although it has a long history of development, a few researches have been devoted to deriving efficient VLSI architectures. In this paper, we analyze the inherent dataflow of sound synthesis methods and propose a programmable VLSI ...
Tae-Hwan Kim   +2 more
openaire   +3 more sources

Design and syntheses of putative bioactive taxanes

Bioorganic & Medicinal Chemistry, 2002
Reduction of 5 alpha-hydroxy-7 beta,9 alpha,10 beta-triacetoxy-4(20), 11(12)-taxadien-13-one 1 with activated zinc in glacial acetic acid led to rearranged products, including compounds with double bonds at C3-C4, C10-C11 or with an epoxide at C11-C12. Molecular modeling studies suggested that addition of a side chain at C-20 or C-5 of the taxanes with
Anastasia, Nikolakakis   +5 more
openaire   +2 more sources

Design of a scalable sound synthesizer

2008 International SoC Design Conference, 2008
This paper presents a scalable sound synthesis system and the implementation results of its prototype design. Based on the inherent data flows of sound synthesis, the proposed sound synthesizer operates according to the reconfigurable algorithm description.
null Tae-Hwan Kim   +2 more
openaire   +1 more source

The design of an LPC speech synthesizer

Proceedings of 4th International Conference on Solid-State and IC Technology, 2002
A dedicated LPC speech synthesizer is presented in this paper. It mainly acts as a programmable 12-pole lattice filter with a 2-pole low-pass filter, a 12 bit D/A converter and a built-in interface to external CPU. The gate level logic simulation and the results of c programs shows that the synthesizer can synthesize high-quality speech at low data ...
null Yongming Li   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy