 | 2009 |
|---|
| 7 |       | Masana Murase,
Kanna Shimizu,
Wilfred Plouffe,
Masaharu Sakamoto:
Effective implementation of the cell broadband engineTM isolation loader.
ACM Conference on Computer and Communications Security 2009: 303-313 |
| 2007 |
|---|
| 6 | | Kanna Shimizu,
H. Peter Hofstee,
John S. Liberty:
Cell Broadband Engine processor vault security architecture.
IBM Journal of Research and Development 51(5): 521-528 (2007) |
| 2006 |
|---|
| 5 | | Kanna Shimizu,
Sanjay Gupta,
Tatsuya Koyama,
Takashi Omizo,
Jamee Abdulhafiz,
Larry McConville,
Todd Swanson:
Verification of the cell broadband engineTM processor.
DAC 2006: 338-343 |
| 2002 |
|---|
| 4 | | Kanna Shimizu,
David L. Dill:
Deriving a simulation input generator and a coverage metric from a formal specification.
DAC 2002: 801-806 |
| 3 | | Kanna Shimizu,
David L. Dill:
Using Formal Specifications for Functional Validation of Hardware Designs.
IEEE Design & Test of Computers 19(4): 96-106 (2002) |
| 2001 |
|---|
| 2 | | Kanna Shimizu,
David L. Dill,
Ching-Tsun Chou:
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol.
CHARME 2001: 340-354 |
| 2000 |
|---|
| 1 | | Kanna Shimizu,
David L. Dill,
Alan J. Hu:
Monitor-Based Formal Specification of PCI.
FMCAD 2000: 335-353 |
