Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic and Architecture Synthesis de Gabriele Saucier

Logic and Architecture Synthesis: IFIP Advances in Information and Communication Technology

Editat de Gabriele Saucier, Anne Mignotte
en Limba Engleză Hardback – 31 iul 1995
This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis. Logic and Architecture Synthesis concentrates on the practical problems involving automatic synthesis of designs. It is essential reading for researchers and CAD Managers working in this area.
Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

Preț: 92844 lei

Preț vechi: 113225 lei
-18% Nou

Puncte Express: 1393
Preț estimativ în valută:
17770€ • 18521$ • 14793£

Carte tipărită la comandă

Livrare economică 04-18 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780412726903
ISBN-10: 0412726904
Pagini: 390
Ilustrații: XII, 390 p.
Dimensiuni: 156 x 234 x 24 mm
Greutate: 0.74 kg
Ediția:1995
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

Introduction. Logic minimization based on BDD. Boolean Optimisation using implicit techniques. Multi level logic optimization with boolean relations. BONSAI: A pragmatic approach to logic synthesis and formal verification. Cell assignment based on BDD. Combined approach of BDDs structural analysis in the mapping and matching of logic functions. Efficient ROBDD based computation of common decomposition functions of multi-output boolean functions. Circuit depth optimisation by BDD-based function decomposition. Symmetry based variable ordering for ROBBD. Partitioning and clustering for programmable devices. Circuit clustering and partitioning for system implementation. Circuit partitioning for FPGA. Logic synthesis for programmable devices. Balanced multilevel decomposition and its applications in FPGA based synthesis. Disjoint decomposition for LUT FPGA technology. Performance comparison of programmable logic blocks families using macro cells generators. Structural optimization. Area optimization of bit-parallel custom data paths. Data path regularity extraction. NEPR a synthesis tool for speed optimization. Controllers. ROM based multi thread controller. State assignment selection for CPLD and FPGA. Control optimization and hardware translation of Esterel. SEC state assignment selection: consequences on the area and reliability of fault tolerant controllers. On multi-cycle false paths in sequential circuits. Control part and operative part. Low power VLSI design method for data path and controllers. Behavioural synthesis control scheme in question. Link to libraries. RAM based architectural synthesis. Module generators and their integration in an architectural synthesis system. Towards better accounting of physical design effects in high level synthesis. Operator type selection. Delay area trade-off exploration using an architectural jiggling algorithm. Influence of modern computer arithmetic on synthesis. Adder synthesis. High level synthesis. High level synthesis: a critical assessment. High level synthesis by systematic derivation of vision automata from emulation results. Synthesis: from digital signal processing specification to layout. BDD application to mutual exclusion testing in high level synthesis. Applicative studies. VHDL based behavioural synthesis: can it pay off for telecom ASICs? An asynchronous microprocessor in Gallium Arsenide. Communication Busses. Optimizing the communication overheads during the allocation of global memories and busses. Optimal and robust scheduling of communication in bus architecture. System level synthesis. Cosynthesis in CASTLE. Optimization of heterogeneous multiprocessors for complex image processing applications. Test. Self test with LFSR based deterministic test patter generators.