Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis - William K.C. Lam; Robert K. Brayton; | Foyles Bookstore
Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
Foyalty 360

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (Hardback)

£119.99
Usually despatched within 3 weeks.

Synopsis

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.

Computing & ITComputer scienceTechnicalElectronics & communications engineeringElectronics engineeringCircuits & components Publisher: Springer Publication Date: 30/04/1994 ISBN-13: 9780792394549  Details: Type: Hardback Format: Books
Availability: Usually despatched within 3 weeks. Add to Basket

More books by William K.C. Lam

More books by Robert K. Brayton

Leave Review

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

 

Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £25 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.99 £0.00 3-5 Days
UK 1st Class Delivery £3.99 £0.00 2-3 Days

Click & Collect / 
Delivery to a Foyles Bookshop

 

Free Free Free
UK Courier* £7.95 £0.00 1 Working Day
Western Europe**Airmail £9.00 £1.00 7-8 Days
Rest of World Airmail £12.50 £1.00 7-10 Days

* For courier service please contact the Charing Cross Road store

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Click and Collect is available for all our shops; collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.

For goods delivered outside of the UK, the consignee (ie the person to whom the consignment is sent) will be the declarant and importer into the country for which the consignment is destined. The consignee will be responsible for both customs clearance and payment of customs duties and local taxes where required.

Customs Charges - if you are ordering goods for delivery outside of the UK, please note that your consignment may be subject to VAT (Value Added Tax), other taxes, customs duties and/or fees levied by the destination country. Any such charges levied in relation to customs clearance must be borne by you. It is accepted by you that Foyles has no control over additional charges in relation to customs clearance. Foyles recommend that you check with your local customs officials or post office for more information regarding importation taxes/duties that may be applicable to your online order.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.
 

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Circuit Analysis
(Hardback)
Leonard J Tung; Bing W Kwan
 
 
£70.00
 
Co-design And Modelling For Advanced...
(Hardback)
Christopher Bailey; Stoyan Stoyanov;...
 
 
£115.00
 
Introduction To Electronic Circuits: ...
(Paperback)
Jose Silva-martinez; Marvin Onabajo
 
 
£48.00
 
Introduction To Electronic Circuits: ...
(Hardback)
Jose Silva-martinez; Marvin Onabajo
 
 
£100.00
 
© W&G Foyle Ltd