## Sequential Synthesis Using S1S (2000)

### Cached

### Download Links

- [www.ece.utexas.edu]
- [www.cs.cornell.edu]
- [users.ece.utexas.edu]
- [www.ece.utexas.edu]
- DBLP

### Other Repositories/Bibliography

Venue: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |

Citations: | 12 - 4 self |

### BibTeX

@INPROCEEDINGS{Aziz00sequentialsynthesis,

author = {Adnan Aziz and Felice Balarin and Robert K. Brayton and Alberto Sangiovanni-Vincentelli},

title = {Sequential Synthesis Using S1S},

booktitle = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},

year = {2000}

}

### Years of Citing Articles

### OpenURL

### Abstract

We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematically elegant solutions to problems arising in the synthesis and optimization of synchronous digital hardware. Specifically, we derive a logical expression which yields a single finite state automaton characterizing the set of implementations that can replace a component of a larger design. The power of our approach is demonstrated by the fact that it generalizes immediately to arbitrary interconnection topologies, and to designs containing nondeterminism and fairness. We also describe control aspects of sequential synthesis and relate controller realizability to classical work on program synthesis and tree automata.