LARA

Synthesis of Sequential Circuits from Regular Trace Specifications