Travelled to:2 × USA
Collaborated with:D.L.Dill S.Gupta T.Koyama T.Omizo J.Abdulhafiz L.McConville T.Swanson
Talks about:processor (1) broadband (1) enginetm (1) generat (1) coverag (1) specif (1) metric (1) formal (1) verif (1) simul (1)
Person: Kanna Shimizu
DBLP: Shimizu:Kanna
Contributed to:
20062002Wrote 2 papers:
- DAC-2006-ShimizuGKOAMS #verification
- Verification of the cell broadband engineTM processor (KS, SG, TK, TO, JA, LM, TS), pp. 338–343.
- DAC-2002-ShimizuD #generative #metric #simulation #specification
- Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.