Travelled to:1 × France
Collaborated with:B.Chen M.Fujita
Talks about:identif (1) symbol (1) design (1) model (1) check (1) real (1) chip (1) bug (1)
Person: Michihiro Yamazaki
DBLP: Yamazaki:Michihiro
Contributed to:
1994Wrote 1 papers:
- EDAC-1994-ChenYF #debugging #design #identification #model checking
- Bug Identification of a Real Chip Design by Symbolic Model Checking (BC, MY, MF), pp. 132–136.