Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Gabriele Saucier , Anne MignottePublisher: Chapman and Hall Imprint: Chapman and Hall Edition: 1995 ed. Dimensions: Width: 15.60cm , Height: 2.30cm , Length: 23.40cm Weight: 1.650kg ISBN: 9780412726903ISBN 10: 0412726904 Pages: 390 Publication Date: 31 July 1995 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print  This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsIntroduction. 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
