» książki » Computers - Logic Design
topmenu
![Towards One-Pass Synthesis Drechsler Rolf Drechsler Wolfgang G]nther 9781402070440 Kluwer Academic Publishers](/9781402070440_towards_one_pass_synthesis.jpg "Towards One-Pass Synthesis") |
Towards One-Pass Synthesis
ISBN: 9781402070440 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits...
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp...
|
cena:
402,53 |
 |
Modern Placement Techniques
ISBN: 9781402072215 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern Placement Techniques explains physical design and VLSI/CAD placement to the professional engineer and engineering student. Along with explaining the problems that are associated with placement, the book gives an overview of existing placement algorithms, techniques and methodologies. Modern Placement Techniques emphasizes recent advances in addressing the placement problem, including congestion-driven, timing driven, mixed macro-cell and standard cell placement.
The book presents the Dragon placement tool, with detailed algorithm descriptions for... Modern Placement Techniques explains physical design and VLSI/CAD placement to the professional engineer and engineering student. Alo...
|
cena:
402,53 |
 |
Legacy Data: A Structured Methodology for Device Migration in Dsm Technology
ISBN: 9781402073045 / Angielski / Twarda / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Legacy Data: A Structured Methodology For Device Migration in DSM Technology deals with the migration of existing hard IP from one technology to another using repeatable procedures. The challenge of hard IP migration is not simply an EDA problem but rather a client application specification problem. It requires a deep understanding of the process technologies, EDA tools (and their interfaces) and target applications.
Legacy Data: A Structured Methodology For Device Migration in DSM Technology is unique in that there are currently no reference books... Legacy Data: A Structured Methodology For Device Migration in DSM Technology deals with the migration of existing hard IP from one te...
|
cena:
402,53 |
 |
Systematic Design of Analog IP Blocks
ISBN: 9781402074714 / Angielski / Twarda / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces a design methodology that can help to bridge the productivity gap. Two different types of designs, depending on the design challenge, have been identified. To validate the presented methodologies, the authors have selected and designed accordingly three different industrial-strength applications. This book introduces a design methodology that can help to bridge the productivity gap. Two different types of designs, depending on the design cha... |
cena:
402,53 |
 |
Noise Analysis of Radio Frequency Circuits
ISBN: 9781402076572 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical high level specifications, for instance, system bit error rate or signal to noise ratio. Hence, predicting noise in RF systems at the design stage is extremely important. Additionally, with the growing complexity of modern RF systems, a flat transistor-level noise analysis for the entire system is becoming increasingly difficult. Hence accurate modelling at the component level and behavioural level simulation techniques are also becoming...
In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical hi...
|
cena:
402,53 |
 |
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
ISBN: 9783540210023 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering,... This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, ... |
cena:
402,53 |
 |
Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings
ISBN: 9783540223429 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA ...
|
cena:
402,53 |
 |
Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 200
ISBN: 9783540304951 / Angielski / Miękka / 566 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence shown by the early organizersof the conference. The conference is now organized by IARCS (Indian Association for Researchin Computing Science), and the conference has been the foundation on which the IARCS community has been built. To commemorate the Silver Jubilee of FST&TCS, we had an extra day to accommodate special sessions and a larger number of invited speakers. As in previousyears,...
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciati...
|
cena:
402,53 |
 |
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
ISBN: 9783540373766 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. Th...
|
cena:
402,53 |
 |
Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
ISBN: 9783540374060 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4... |
cena:
402,53 |
 |
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 16th International Workshop PATMOS 2006, Montpellier, Fr
ISBN: 9783540390947 / Angielski / Miękka / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical...
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sp...
|
cena:
402,53 |
 |
Introduction to VLSI Process Engineering
ISBN: 9780412395505 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Integrated circuits are finding ever wider applications through a range of industries. Introduction to VLSI Process Engineering presents the design principles for devices, describes the overall VLSI process, and deals with the essential manufacturing technologies and inspection procedures.
Integrated circuits are finding ever wider applications through a range of industries. Introduction to VLSI Process Engineering presents the design pr...
|
cena:
402,53 |
 |
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
ISBN: 9780792394549 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. Much present timing research relies heavily on timing diagrams, which, although intuitive, are inadequate for analysis of large designs with many parameters. Further, timing diagrams offer only approximations, not exact solutions, to many timing problems and provide little insight in the cases where temporal properties of a design interact intricately with the design's logical functionalities. This book presents a methodology for...
Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms...
|
cena:
402,53 |
 |
Model Generation in Electronic Design
ISBN: 9780792395683 / Angielski / Twarda / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC design and ASIC library generation. This section includes chapters on the requirements for developing and ASIC library, a case study in which VITAL is used to create such a library, and the analysis and description of the accuracy required in modeling interconnections in ASIC design.
Other chapters describe the development of thermal models for electronic devices, the development of a... Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator...
|
cena:
402,53 |
 |
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
ISBN: 9783540633884 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; process algebras; logical frameworks; and higher-order logics.
These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action c...
|
cena:
402,53 |
 |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
ISBN: 9783540536864 / Angielski / Miękka / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational sema...
|
cena:
402,53 |
 |
Field Programmable Logic and Applications: 9th International Workshops, Fpl'99, Glasgow, Uk, August 30 - September 1, 1999, Proceedings
ISBN: 9783540664574 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL'99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30 - September 1, 1999. FPL'99 is the ninth in the series of annual FPL workshops. The FPL'99 programme committee has been fortunate to have received a large number of high-quality papers addressing a wide range of topics. From these, 33 papers have been selected for presentation at the workshop and a further 32 papers have been accepted for the poster sessions. A total of 65 papers from 20...
This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL'99), hosted by the Universi...
|
cena:
402,53 |
 |
Concur '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
ISBN: 9783540616047 / Angielski / Miękka / 759 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems. This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1...
|
cena:
402,53 |
 |
Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, Bc, Canada, June 28-July 2, 1998, Proceedings
ISBN: 9783540646082 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Cana...
|
cena:
402,53 |
 |
Field-Programmable Logic and Applications: 11th International Conference, Fpl 2001, Belfast, Northern Ireland, Uk, August 27-29, 2001 Proceedings
ISBN: 9783540424994 / Angielski / Miękka / 665 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work constitutes the refereed proceedings of the 11th International Conference on Field-Programmable Logic and Application, FPL 2 001, held in Belfast, Northern Ireland, UK, in August 2001. The 56 revised full papers and 15 short papers presented were carefully reviewed and selected from a total of 117 submissions. The book offers topical sections on architectural framework, place and route, architecture, DSP, synthesis, encryption, runtime reconfiguration, graphics and vision, networking, processor interaction, applications, methodology, loops and systolic, image processing, faults and...
This work constitutes the refereed proceedings of the 11th International Conference on Field-Programmable Logic and Application, FPL 2 001, held in Be...
|
cena:
402,53 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
