Ddd: a System for Mechanized Digital Design Derivation Ddd { a System for Mechanized Digital Design Derivation 1

@inproceedings{Johnson1991DddAS,
  title={Ddd: a System for Mechanized Digital Design Derivation Ddd \{ a System for Mechanized Digital Design Derivation 1},
  author={Steven D. Johnson and Bhaskar Bose},
  year={1991}
}
Our research group at Indiana University is investigating a formalization of digital system design that is based on functional algebra. We have developed a transformation system called DDD to facilitate this study. DDD stands for digital design derivation; the system is used interactively to translate higher level speci cations into hierarchical boolean systems, to which logic synthesis tools are then applied. In this paper, we take a detailed look at how the system is used. In two examples, we… CONTINUE READING

References

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

Synthesizing correct se- quential circuits

  • Geo rey M. Brown, Miriam E. Leeser
  • Proceedings of the IFIP WG 10.2 Ninth…
  • 1989
Highly Influential
5 Excerpts

The Art of Digital Design

  • David Winkel, Franklin Prosser
  • 1980
Highly Influential
3 Excerpts

DDD - a transformation system for digital design deriva- tion

  • Bhaskar Bose
  • Technical Report 331,
  • 1991
1 Excerpt

A Transformational Approach to Register- Transfer-Level Design-Space Exploration

  • Ranganadha Rao Vemuri
  • PhD thesis,
  • 1989

A for- mal language model of local microcode synthesis

  • M. Mahmood, F. Mavaddat, M. I. Elmasry, M.H.M. Cheng
  • Proceedings of The International Workshop on The…
  • 1989
1 Excerpt

An algebraic characterization of structural synthesis for hardware

  • Zheng Zhu, Steven D. Johnson
  • International Workshop on The Applied Formal…
  • 1989
2 Excerpts

Similar Papers

Loading similar papers…