Author of the publication

A Tutorial on Digital Design Derivation Using DRS.

, , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 270-274. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition., , and . ICCD, page 458-461. IEEE Computer Society, (1993)A Tutorial on Digital Design Derivation Using DRS., , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 270-274. Springer, (1996)Behavior tables: a basis for system representation and transformational system synthesis., , and . ICCAD, page 736-740. IEEE Computer Society / ACM, (1993)Specification and synthesis of bounded indirection., , and . Great Lakes Symposium on VLSI, page 86-89. IEEE Computer Society, (1995)Continuations in Hardware-Software Codesign., , and . ICCD, page 264-269. IEEE Computer Society, (1994)