|
Search the dblp DataBase
Hiroaki Iwashita:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Formal verification based on assume and guarantee approach - a case study (short paper). [Citation Graph (0, 0)][DBLP] ASP-DAC, 2000, pp:77-80 [Conf]
- Hiroaki Iwashita, Tsuneo Nakata
Forward model checking techniques oriented to buggy designs. [Citation Graph (0, 0)][DBLP] ICCAD, 1997, pp:400-404 [Conf]
- Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose
Automatic test program generation for pipelined processors. [Citation Graph (0, 0)][DBLP] ICCAD, 1994, pp:580-583 [Conf]
- Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose
CTL model checking based on forward state traversal. [Citation Graph (0, 0)][DBLP] ICCAD, 1996, pp:82-87 [Conf]
- Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
Dataflow Analysis for Resource Contention and Register Leakage Properties. [Citation Graph (0, 0)][DBLP] VLSI Design, 2000, pp:418-423 [Conf]
Search in 0.001secs, Finished in 0.001secs
|