| 2000 |
|---|
| 5 | EE | Subir K. Roy,
Hiroaki Iwashita,
Tsuneo Nakata:
Formal verification based on assume and guarantee approach - a case study (short paper).
ASP-DAC 2000: 77-80 |
| 4 | EE | Subir K. Roy,
Hiroaki Iwashita,
Tsuneo Nakata:
Dataflow Analysis for Resource Contention and Register Leakage Properties.
VLSI Design 2000: 418-423 |
| 1997 |
|---|
| 3 | EE | Hiroaki Iwashita,
Tsuneo Nakata:
Forward model checking techniques oriented to buggy designs.
ICCAD 1997: 400-404 |
| 1996 |
|---|
| 2 | EE | Hiroaki Iwashita,
Tsuneo Nakata,
Fumiyasu Hirose:
CTL model checking based on forward state traversal.
ICCAD 1996: 82-87 |
| 1994 |
|---|
| 1 | EE | Hiroaki Iwashita,
Satoshi Kowatari,
Tsuneo Nakata,
Fumiyasu Hirose:
Automatic test program generation for pipelined processors.
ICCAD 1994: 580-583 |
