| 2007 |
|---|
| 7 | EE | 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 |
|---|
| 6 | EE | 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 |
|---|
| 5 | EE | Kanna Shimizu,
David L. Dill:
Deriving a simulation input generator and a coverage metric from a formal specification.
DAC 2002: 801-806 |
| 4 | | Tomonari Sonoda,
Toshiya Ikenaga,
Kanna Shimizu,
Yoichi Muraoka:
A melody retrieval system on parallelized computers.
IWEC 2002: 265-272 |
| 3 | EE | 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 | EE | 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 | EE | Kanna Shimizu,
David L. Dill,
Alan J. Hu:
Monitor-Based Formal Specification of PCI.
FMCAD 2000: 335-353 |
