CAD for Verified Hardware Design via Category Theory
- Robert Zimmer
- Alan J. MacDonald
- Robert Holte, Department of Computing Science, University of Alberta
Citation
R. Zimmer, A. MacDonald, R. Holte. " CAD for Verified Hardware Design via Category Theory". Microprocessing and Microprogramming, 32, pp 691-698, June 1991.| Keywords: | |
| Category: | In Journal |
BibTeX
@article{Zimmer+al:91,
author = {Robert Zimmer and Alan J. MacDonald and Robert Holte},
title = { CAD for Verified Hardware Design via Category Theory},
Volume = "32",
Pages = {691-698},
journal = {Microprocessing and Microprogramming},
year = 1991,
}Last Updated: June 04, 2007Submitted by Staurt H. Johnson
