dblp.uni-trier.dewww.uni-trier.de

Bhaskar Bose

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
5 Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella: A Tutorial on Digital Design Derivation Using DRS. FMCAD 1996: 270-274
1993
4 Bhaskar Bose, Steven D. Johnson: DDD-FM9001: Derivation of a Verified Microprocessor. CHARME 1993: 191-202
3 Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela: Integrating Boolean Verification with Formal Derivation. CHDL 1993: 139-146
2 Kamlesh Rath, Bhaskar Bose, Steven D. Johnson: Derivation of a DRAM Memory Interface by Sequential Decomposition. ICCD 1993: 438-441
1 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: 458-461

Coauthor Index

1Venkatesh Choppella [5]
2Steven D. Johnson [1] [2] [3] [4]
3Shyamsundar Pullela [3]
4Kamlesh Rath [2]
5M. Esen Tuna [1] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)