Formal synthesis of circuits with a simple handshake protocol

Ramayya Kumar, Thomas Kropf, Klaus Schneider. Formal synthesis of circuits with a simple handshake protocol. In 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India. pages 255-259, IEEE Computer Society, 1995. [doi]

@inproceedings{KumarKS95,
  title = {Formal synthesis of circuits with a simple handshake protocol},
  author = {Ramayya Kumar and Thomas Kropf and Klaus Schneider},
  year = {1995},
  doi = {10.1109/ICVD.1995.512119},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1995.512119},
  tags = {protocol},
  researchr = {https://researchr.org/publication/KumarKS95},
  cites = {0},
  citedby = {0},
  pages = {255-259},
  booktitle = {8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India},
  publisher = {IEEE Computer Society},
}