Search results

Articles (7)

Journals (0)

1-7 of 7 results for Signal Transition Graph (STG)

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2004-9

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2008-6

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

Javier Esparza, Petr Jančar, Alexander Miller

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs

Javier Esparza

Fundamenta Informaticae

Retricted access

Research article

First published 2008-11

Output-Determinacy and Asynchronous Circuit Synthesis

Victor Khomenko, Mark Schaefer, Walter Vogler

Fundamenta Informaticae

Retricted access

Research article

First published 2011-3

Flat Arbiters

Andrey Mokhov, Victor Khomenko, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2007-6

Improved Decomposition of Signal Transition Graphs

W. Vogler, B. Kangsah

Fundamenta Informaticae