Export Citations
1 Results for: Keyword: sequntial synthesis
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,801,559 records)|Limit your search to The ACM Full-Text Collection (771,255 records)
Select All
- ArticleDecember 1995
Sequential synthesis using S1S
ICCAD '95: Proceedings of the 1995 IEEE/ACM international conference on Computer-aided designPages 612–617We present a mathematical framework for analyzing the synthesis of interacting finite state systems. The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in sequential synthesis. We obtain exact and approximate sets ...