|
Search the dblp DataBase
Bhaskar Bose:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bhaskar Bose, Steven D. Johnson
DDD-FM9001: Derivation of a Verified Microprocessor. [Citation Graph (0, 0)][DBLP] CHARME, 1993, pp:191-202 [Conf]
- Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
Integrating Boolean Verification with Formal Derivation. [Citation Graph (0, 0)][DBLP] CHDL, 1993, pp:139-146 [Conf]
- Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
A Tutorial on Digital Design Derivation Using DRS. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:270-274 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICCD, 1993, pp:458-461 [Conf]
- Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
Derivation of a DRAM Memory Interface by Sequential Decomposition. [Citation Graph (0, 0)][DBLP] ICCD, 1993, pp:438-441 [Conf]
Search in 0.002secs, Finished in 0.002secs
|