Synchronous Equivalence: Formal Methods for Embedded Systems

by HarryHsieh (Author), Felice Balarin (Author), Alberto L . Sangiovanni - Vincentelli (Author)

• New

  Hardcover
  2000

  $161.99

  An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. 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.