Home

Multi-Valued Logic Synthesis

Boolean Technology Mapping

Berkeley Language and Automata Manipulation

Combinational Verification

Physically-Aware Synthesis

Download Software

People / Contact

research overview

The Berkeley Automata and Language Manipulation (BALM) software ..

  • addresses finite automata in two forms, regular finite automata and finite state machines.
  • provides for input and output through BLIF, BLIF-MV or "automata" files.
  • uses symbolic methods to extend the range and speed of automata manipulation.
  • has special routines for solving language equations and the unknown component problem.
  • can solve for the complete sequential flexibility of a component embedded in a system of FSMs.
  • provides visualization of automata.

collaborators

  • Tiziano Villa, University of Udine
  • Nina Yevtushenko, Tomsk State University

software

You can find a detailed description of the software capabilities in the BALM User Manual [PDF].

You can download the BALM executable from the software download page.

support

This research is supported by NSF contract number CRC-0312676.

publications

  1. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Sequential Synthesis by Language Equation Solving," Submitted to IEEE TCAD, 2004. (PDF)
  2. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Compositionally Progressive Solutions of Synchronous Language Equations," Technical Report, May 2003.
  3. J.-H. R. Jiang, A. Mishchenko, and R. K. Brayton, "On Breakable Cyclic Definitions," Proc. Int'l Conf. on Computer-Aided Design, November 2004. (PDF)
  4. A. Mishchenko, R. K. Brayton, J.-H. R. Jiang, T. Villa, N. Yevtushenko, "Efficient Solution of Language Equations Using Partitioned Representations," Proc. Design Automation and Test in Europe, March 2005. (PDF, PPT)
  5. G. Wang, A. Mishchenko, R. Brayton, A. Sangiovanni-Vincentelli, "Synthesizing FSMs according to co-Buchi properties," Manuscript, January 2005. (PDF)
  6. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations," Proc. Design Automation and Test in Europe, March 2003. (PS)
  7. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Solution of Parallel Language Equations for Logic Synthesis," Proc. Int'l Conf. on Computer-Aided Design, November 2001. (PS)
Contact 
©2002-2018 U.C. Regents