Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Synchronous Equivalence

Synchronous Equivalence

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792372622
Condition
New
Product Description

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation. A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding bugs. However, manual intervention in the form of abstraction selection and separation of timing and functionality is required. It is conjectured that, for specific properties, efficient algorithms exist for completely automatic formal validations of systems. Synchronous Equivalence: Formal Methods for Embedded Systems presents a brand new formal approach to high-level equivalence analysis. It opens design exploration avenues previously uncharted. It is a work that can stand alone but at the same time is fully compatible with the synthesis and simulation framework described in another book by Kluwer Academic Publishers Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, by Balarin et al. Synchronous Equivalence: Formal Methods for Embedded Systems will be of interest to embedded system designers (automotive electronics, consumer electronics, and telecommunications), micro-controller designers, CAD developers and students, as well as IP providers, architecture platform designers, operating system providers, and designers of VLSI circuits and systems.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Soup Day

$4.46

Handbook of Climate Change Communication: Vol. 3

$199.99

Slide Into Phonics: CVC Words

$12.74

An Archaeology of Improvement in Rural Massachusetts

$54.99

Mobile Robot Navigation with Intelligent Infrared Image Interpretation

$129.00

Wings of Fire-The Dragonet Prophecy: The Dragonet Prophecy

$6.74

Strukturierte Programmierung

$59.99

Strategies for Building Resilience against Climate and Ecosystem Changes in Sub-Saharan Africa

$109.99

Translation Under Communism

$179.99

Level E: 60 Book Set

$199.95

Reality TV and Queer Identities

$79.99

The influence of electron captures on the contours of Fraunhofer lines

$74.99

Handbuch der Forstverwaltungskunde

$79.99

Polling, Policy, and Public Opinion

$54.99

Benign Childhood Focal Seizures and Related Epileptic Syndromes

$64.99

Information Technology and World Politics

$39.99

TNM Supplement 1993

$109.99

Hip Arthroplasty

$249.99

Psychiatrische Erkrankungen in der rztlichen Praxis

$69.99

G Protein-Coupled Receptor Signaling

$199.99

Ulcerative Colitis

$39.99

Persnlichkeitsschutz in Social Networks

$64.99

General Principles of Orthopedics and Trauma

$109.99

Plant Growth Signaling

$129.00

Berufliches Selbstverstndnis, Beanspruchung und Bewltigung in der Schulleitung

$74.99

British Army Uniform and the First World War

$54.99

Knstliche Intelligenz als Substitut menschlicher Arbeit

$59.99

Data Science with Raspberry Pi

$64.99

Graph Drawing and Network Visualization

$89.99

International Trade Policies and Climate Change Governance

$54.99

Die Zukunft unserer Energiebasis als konomisches Problem. Wandel der Energietechnik durch Einsatz n

$59.99

Trends in Gastroenterology and Hepatology

$84.99

Smart Control of Turbulent Combustion

$84.99

Biological Treatment of Waste and By-Products from Food Industry

$44.99

Nachhaltige Wettbewerbsvorteile in der Net Economy

$64.99

Essentials of Ultrasonography

$109.99

Organization in Biology

$59.99

Surgically Facilitated Orthodontic Therapy

$299.99

Plants for Arid Lands

$109.99

Ebene Potentialstrmung um N Kreise und deren elastische Verformung

$59.99