Merkzettel Warenkorb
  • Produktbild: Logic and Architecture Synthesis
  • Produktbild: Logic and Architecture Synthesis

Logic and Architecture Synthesis

Aus der Reihe IFIP Advances in Information and Communication Technology

179,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.1995

Herausgeber

Gabriele Saucier + weitere

Verlag

Springer Us

Seitenzahl

390

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

773 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-412-72690-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.1995

Herausgeber

Verlag

Springer Us

Seitenzahl

390

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

773 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-412-72690-3

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Logic and Architecture Synthesis
  • Produktbild: Logic and Architecture Synthesis

  • 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.