Using Transformations and Verification in Ciruit Design - researchr publication

researchr

You are not signed in
Sign in
Sign up

James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning. Using Transformations and Verification in Ciruit Design. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 1-25, North-Holland, 1992.

Abstract is missing.

runs on WebDSL