Visual Software - DUAL
A System for High-Level Synthesis and Verification
Abstract
The input is L language code (boolean formulas, describing timing relationships
between inputs and outputs of a digital circuit), or a regular expression,
internally translated into L language code. The output is the minimum-state
(non-deterministic) FSM, synthesized from the given L language code. Additional
options include determinization of non-deterministic FSMs and efficient
transformation of L language code into a set of boolean equations, specifying
a Regular FSM.
Download
the latest version of DUAL (04)
Back to Visual
Software Homepage
This webpage is supported by Alan Mishchenko.