 | 2012 |
|---|
| 6 |       | Ryo Yoshinaka,
Toshiki Saitoh,
Jun Kawahara,
Koji Tsuruma,
Hiroaki Iwashita,
Shin-ichi Minato:
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.
Algorithms 5(2): 176-213 (2012) |
| 2000 |
|---|
| 5 | | 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 | | Subir K. Roy,
Hiroaki Iwashita,
Tsuneo Nakata:
Dataflow Analysis for Resource Contention and Register Leakage Properties.
VLSI Design 2000: 418-423 |
| 1997 |
|---|
| 3 | | Hiroaki Iwashita,
Tsuneo Nakata:
Forward model checking techniques oriented to buggy designs.
ICCAD 1997: 400-404 |
| 1996 |
|---|
| 2 | | Hiroaki Iwashita,
Tsuneo Nakata,
Fumiyasu Hirose:
CTL model checking based on forward state traversal.
ICCAD 1996: 82-87 |
| 1994 |
|---|
| 1 | | Hiroaki Iwashita,
Satoshi Kowatari,
Tsuneo Nakata,
Fumiyasu Hirose:
Automatic test program generation for pipelined processors.
ICCAD 1994: 580-583 |
Data released under the ODC-BY 1.0 license — See also our legal information page