Searching for authors named "Bhaskar Bose" – sorted by Relevance.
-
DDD-FM9001: Derivation of a Verified Microprocessor
- DDD-FM9001: Derivation of a Verified Microprocessor y by Bhaskar Bose Submitted to the faculty
- Cited by 21 (6 self) – Add To MetaCart
-
Design Derivation 1
- . Johnson Bhaskar Bose December 1990 Revised March 1997 Computer Science Department Indiana University
- Add To MetaCart
-
Arriving at FPGA based Hardware Unix-Encription using Iterated Codesign Methods
- Methods by Ingo Cyliax Steven D. Johnson Bhaskar Bose, Derivation Systems, Inc., Carlsbad CA October 1997
- Add To MetaCart
-
Integrating Boolean Verification with Formal Derivation
- Verification with Formal Derivation Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela february 1993
- Cited by 3 (2 self) – Add To MetaCart
-
Derivation of a DRAM Memory Interface by Sequential Decomposition
- Interface by Sequential Decomposition Kamlesh Rath, Bhaskar Bose, and Steven D. Johnson june 1993 To appear
- Cited by 5 (4 self) – Add To MetaCart
-
DDD: A System for Mechanized Digital Design Derivation
- . Johnson Bhaskar Bose December 1990 Revised March 1997 Computer Science Department Indiana University
- Cited by 28 (10 self) – Add To MetaCart
-
System Factorization in Codesign - A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition
- -Software Decomposition Bhaskar Bose y , M. Esen Tuna, and Steven D. Johnson Indiana University Computer Science
- Cited by 4 (2 self) – Add To MetaCart
-
Decomposing Digital-system Specifications into Interacting Sequential Processes
- researchers, students, and sta# include Prof. Steven D. Johnson, Prof. David E. Winkel, Bhaskar Bose, Zheng
- Add To MetaCart

