A Formal Approach to Specify and Synthesize at the System Level

@inproceedings{Blumenrhr1999AFA,
  title={A Formal Approach to Specify and Synthesize at the System Level},
  author={Christian Blumenr{\"o}hr},
  booktitle={MBMV},
  year={1999}
}
In this paper, a new and formal methodology for specifying and synthesizing systems is presented. Systems are modeled as structures of concurrent processes. The way the processes communicate realizes a handshake protocol. The speciication at the system level is part of our hardware description language Gropius, which ranges from the gate to the system level. Gropius was designed for a formal synthesis scenario, where synthesis is performed by applying basic mathematical rules within a theorem… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
16 References
Similar Papers

Similar Papers

Loading similar papers…