M. Esen Tuna

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Publications

Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
A Tutorial on Digital Design Derivation Using DRS. FMCAD (1996)
M. Esen Tuna, Kamlesh Rath, Steven D. Johnson
Specification and synthesis of bounded indirection. Great Lakes Symposium on VLSI (1995)
M. Esen Tuna, Steven D. Johnson, Robert G. Burger
Continuations in Hardware-Software Codesign. ICCD (1994)
Kamlesh Rath, M. Esen Tuna, Steven D. Johnson
Behavior tables: a basis for system representation and transformational system synthesis. ICCAD (1993)
Bhaskar Bose, M. Esen Tuna, Steven D. Johnson
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. ICCD (1993)