Asynchronous circuit synthesis with Boolean satisfiability

@article{Gu1995AsynchronousCS,
  title={Asynchronous circuit synthesis with Boolean satisfiability},
  author={Jun Gu and Ruchir Puri},
  journal={IEEE Trans. on CAD of Integrated Circuits and Systems},
  year={1995},
  volume={14},
  pages={961-973}
}
Asynchronous circuits are widely used in many real time applications such as digital communication and computer systems. The design of complex asynchronous circuits is a diicult and error-prone task. An adequate synthesis method will signiicantly simplify the design and reduce errors. In this paper, we present a general and eecient partitioning approach to the synthesis of asynchronous circuits from general Signal Transition Graph (STG) speciications. The method partitions a large signal… CONTINUE READING
28 Citations
39 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 39 references

Petri nets: Properties, analysis and applications

  • T. Murata
  • Proc. of the IEEE,
  • 1989
Highly Influential
4 Excerpts

Speci cation

  • C. W. Moon, P. R. Stephan, R. K. Brayton
  • Synthesis and Veri cation of Hazard-Free…
  • 1991
Highly Influential
4 Excerpts

Algorithms for satis ability (SAT) problem: A survey

  • J. Gu, P. W. Purdom, B. W. Wah
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…