Table of contents (19 chapters)

1. Front Matter

   Pages i-xv

   Download PDF (193KB)

2. Theory of Equations over Languages and Automata

   1. Front Matter

      Pages 7-8

      Download PDF (99KB)

   2. 

      Book Chapter

      Pages 9-36

      Equations Over Languages and Finite Automata

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   3. 

      Book Chapter

      Pages 37-71

      Equations Over Finite State Machines

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   4. 

      Book Chapter

      Pages 73-84

      Equations Over ω-Automata

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   5. 

      Book Chapter

      Pages 85-105

      A Survey of Relevant Literature

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

3. Algorithms for Solving FSM Equations - BALM

   1. Front Matter

      Pages 107-108

      Download PDF (46KB)

   2. 

      Book Chapter

      Pages 109-120

      Implementation of Automata Manipulations

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   3. 

      Book Chapter

      Pages 121-135

      Manipulations of FSMs Represented as Sequential Circuits

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   4. 

      Book Chapter

      Pages 137-155

      The Software Package BALM

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   5. 

      Book Chapter

      Pages 157-169

      Fundamental Operations in BALM

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

4. Application to Sequential Synthesis

   1. Front Matter

      Pages 171-172

      Download PDF (63KB)

   2. 

      Book Chapter

      Pages 173-184

      Computation of Flexibility in Sequential Networks

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   3. 

      Book Chapter

      Pages 185-194

      Computation of Sequential Flexibility in Netlists by Windowing

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   4. 

      Book Chapter

      Pages 195-210

      Computation of Sequential Flexibility in Networks of FSMs by Windowing

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   5. 

      Book Chapter

      Pages 211-225

      Language Solving Using Simulation Relations

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   6. 

      Book Chapter

      Pages 227-243

      Exploitation of Flexibility in Sequential Networks

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

5. More Applications of the Unknown Component Problem

   1. Front Matter

      Pages 245-246

      Download PDF (50KB)

   2. 

      Book Chapter

      Pages 247-265

      Supervisory Control

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   3. 

      Book Chapter

      Pages 267-274

      Testing

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   4. 

      Book Chapter

      Pages 275-281

      Synthesis of Strategies for Games

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   5. 

      Book Chapter

      Pages 283-297

      Extending BALM to Synchronous Equations Over co-Büchi Specifications

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Look Inside Get Access

   6. 

      Book Chapter

      Pages 299-300

      Conclusions and Open Problems

      • Tiziano Villa,
      • Nina Yevtushenko,
      • Robert K. Brayton,
      • Alan Mishchenko,
      • Alexandre Petrenko
      • … show all 6 hide
      Get Access

6. Back Matter

   Pages 301-311

   Download PDF (226KB)