Search the dblp DataBase

Publications of Author

1. Kanna Shimizu, David L. Dill, Ching-Tsun Chou
   A Specification Methodology by a Collection of Compact Properties as Applied to the Intel^® Itanium^TM Processor Bus Protocol. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:340-354 [Conf]
   
2. Kanna Shimizu, David L. Dill
   Deriving a simulation input generator and a coverage metric from a formal specification. [Citation Graph (0, 0)][DBLP]
   DAC, 2002, pp:801-806 [Conf]
   
3. Kanna Shimizu, Sanjay Gupta, Tatsuya Koyama, Takashi Omizo, Jamee Abdulhafiz, Larry McConville, Todd Swanson
   Verification of the cell broadband engine^TM processor. [Citation Graph (0, 0)][DBLP]
   DAC, 2006, pp:338-343 [Conf]
   
4. Kanna Shimizu, David L. Dill, Alan J. Hu
   Monitor-Based Formal Specification of PCI. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2000, pp:335-353 [Conf]
   
5. Kanna Shimizu, David L. Dill
   Using Formal Specifications for Functional Validation of Hardware Designs. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 2002, v:19, n:4, pp:96-106 [Journal]
   
6. 
   Effective implementation of the cell broadband engine^TM isolation loader. [Citation Graph (, )][DBLP]