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

£83.05

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

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

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£83 today · usual range £0–£0 · best ever £70

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 638 days • 638 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 638 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £79 (248 days, 38.9%)

Price range: £70 - £84

Price levels: 8 different prices over 638 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: Hardcover
ASIN: 0792394542
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 30 April 1994
Listed Since: 15 December 2006

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, 270)

This is the usual price. Wait for it to drop, or tell us your number.

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)

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

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

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)

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

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)

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

Digital Electronics: Principles, Devices and Applications

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

Digital VLSI Design and Simulation with Verilog

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)

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

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

Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)

Switching Theory for Logic Synthesis