Home
Multi-Valued Logic Synthesis
Boolean Technology Mapping
Berkeley Language and Automata Manipulation
Combinational Verification
Physically-Aware Synthesis
Download Software
People / Contact
|
Berkeley Automata and Language Manipulation
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
-
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)
-
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.
-
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)
-
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)
-
G. Wang, A. Mishchenko, R. Brayton, A. Sangiovanni-Vincentelli, "Synthesizing FSMs according to co-Buchi properties," Manuscript, January 2005.
(PDF)
-
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)
-
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)
|