Clairvoyant: a synthesis system for production-based specification
- 1 June 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Very Large Scale Integration (VLSI) Systems
- Vol. 2 (2) , 172-185
- https://doi.org/10.1109/92.285744
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Princeton University behavioral synthesis systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Global scheduling independent of control dependencies based on condition vectorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implicit state enumeration of finite state machines using BDD'sPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synchronous Programming of Reactive SystemsPublished by Springer Nature ,1993
- High-level symbolic construction technique for high performance sequential synthesisPublished by Association for Computing Machinery (ACM) ,1993
- NOVA: state assignment of finite state machines for optimal two-level logic implementationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- The Compilation of Regular Expressions into Integrated CircuitsJournal of the ACM, 1982
- Good Layouts for Pattern RecognizersIEEE Transactions on Computers, 1982