A Tutorial on Digital Design Derivation Using DRS

Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
January 1996
Cite DOI URL
Type
Conference
Publication
Formal Methods in Computer-Aided Design, First International Conference, FMCAD ‘96, Palo Alto, California, USA, November 6-8, 1996, Proceedings