文档介绍：HIGH LEVEL SYNTHESIS OF ASICs
UNDER TIMING AND
SYNCHRONIZATION
CONSTRAINTS
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING PUTER SCIENCE
VLSI, COMPUTER ARCHITECTURE AND
DIGITAL SIGNAL PROCESSING
Consulting Editor
Jonathan Allen
Latest Titles
Hardware Annealillg in Analog VLSI puting, B. W. Lee, B. J. Sheu
ISBN: 0-7923-9132-2
works and Speech Processing, D. P. Morgan, Scofield
ISBN: 0-7923-9144-6
Silicon-oll-Illsulator Techllology: Materials to VLSI, . Colinge
ISBN: 0-7923-9150-0
Microwave Semiconductor Devices, S. Yngvesson
ISBN: 0-7923-9156-X
A Survey ofHigh-Level SYllthesis Systems, R. A. Walker, R. Camposano
ISBN: 0-7923-9158-6
Symbolic Allalysis for Automated Design ofAnalog Integrated Circuits,
G. Gielen, W. Sansen,
ISBN: 0-7923-9161-6
High-Level VLSI Sy"thesis, R. Camposano, W. Wolf,
ISBN: 0-7923-9159-4
Integratillg FUllctiollal alld Temporal Domaills in Logic Design: The False Path
Problem alld its Implicatiolls, P. C. McGeer, R. K. Brayton,
ISBN: 0-7923-9163-2
Neural Models alld Algorithmsfor Digital Testillg, S. T. Chakradhar,
V. D. Agrawal, M. L. Bushnell,
ISBN: 0-7923-9165-9
Monte Carlo Device Simulatioll: Full Band and Beyond, Karl Hess, editor
ISBN: 0-7923-9172-1
The Design mullicatillg Systems: A System Engilleering Approach,
. Koomen
ISBN: 0-7923-9203-5
Parallel Algorithms and Architectures for DSP Applications,
M. A. Bayoumi, editor
ISBN: 0-7923-9209-4
Digital Speech Processillg: Speech Coding, Synthesis alld Recognition
A. Nejat Ince, editor
ISBN: 0-7923-9220-5
Sequential Logic SYllthesis, P. Ashar, S. Devadas, A. R. Newton
ISBN: 0-7923-9187-X
Sequelltial Logic Testillg and Verificatioll, A. Ghosh, S. Devadas, A. R. Newton
ISBN: 0-7923-9188-8
Introduction to the Desigll of Filters,
J. E. Kardonlchik
ISBN: 0-7923-9195-0
The SYllthesis Approach to Digital System Desigll, P. Michel,