Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science) - Image 1

£77.02

Springer Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science)

Name: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science)
Brand: Springer
Price: 77.02 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£77 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 32 days • 32 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price

Price Analysis

Most common price: £77 (32 days, 100.0%)

Price range: £77 - £77

Price levels: 1 different prices over 32 days

Description

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 which facilitates analy sis and design of circuits and systems in a unified temporal and logical domain. In the first part, we introduce an algebraic representation formalism, Timed Boolean Functions (TBF's), which integrates both logical and timing informa tion of digital circuits and systems into a single formalism. We also give a canonical form, TBF BDD's, for them, which can be used for efficient ma nipulation. In the second part, we apply Timed Boolean Functions to three problems in timing research, for which exact solutions are obtained for the first time: 1. computing the exact delays of combinational circuits and the minimum cycle times of finite state machines, 2. analysis and synthesis of wavepipelining circuits, a high speed architecture for which precise timing relations between signals are essential for correct operations, 3. verification of circuit and system performance and coverage of delay faults by testing.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461361567
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 06 October 2012
Listed Since: 14 July 2013

Barcode

No barcode data available

Springer Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)

Digital Design Essentials and Xilinx 4.2i Package: United States Edition

Boolean Circuit Rewiring: Bridging Logical and Physical Designs

Circuit Design with VHDL (The MIT Press)

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits: 387 (The Springer International Series in Engineering and Computer Science, 387)

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Digital Design and Modeling with VHDL and Synthesis: 20 (Systems)

RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability (IEEE Press)

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Logic Design and Verification Using SystemVerilog (Revised)

Algorithms for Synthesis and Testing of Asynchronous Circuits: 232 (The Springer International Series in Engineering and Computer Science, 232)

Algorithms for Synthesis and Testing of Asynchronous Circuits: 232 (The Springer International Series in Engineering and Computer Science, 232)

Lectures on Digital Design Principles (River Publishers Series in Electronic Materials, Circuits and Devices)

Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow

Digital VLSI Design and Simulation with Verilog

Digital Electronics: Principles, Devices and Applications

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)

VLSI Design Methodologies for Digital Signal Processing Architectures: 257 (The Springer International Series in Engineering and Computer Science, 257)

Digital Electronics 1: Combinational Logic Circuits (Electronics Engineering)

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Synchronization and Arbitration in Digital Systems

Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology and Medicine)