Solving Parallel Equations with BALM-II

  title={Solving Parallel Equations with BALM-II},
  author={Giovanni Castagnetti and Matteo Piccolo and Tiziano Villa and Nina Yevtushenko and Alan Mishchenko and Robert D. Brayton},
In this report we describe how to solve parallel language equations over regular languages / automata and finite state machines (FSMs), using the software package BALM-II. The original version of BALM could solve equations only with respect to synchronous composition; we extended the original code to solve also equations with respect to parallel composition, adding new commands and procedures. The new version of BALM is called BALM-II, of which this document provides a user’s manual. Finally… CONTINUE READING
5 Citations
23 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 23 references

ESL Design and Verification: A Prescription for Electronic System Level Methodology

  • Grant Martin, Brian Bailey, Andrew Piziali
  • 2007

Solving language equations over synchronous and parallel composition operators

  • N. Yevtushenko, T. Villa, S. Zharikova
  • M. Kunc and A. Okhotin, editors, Proceedings of…
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…