Searching for authors named "Bhaskar Bose" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
