Statistics
Publications
1
Citations
13
H-Index
1
Active since
2006
Affiliations
IBM Research - Austin(Current)
Takashi Omizo is an author at IBM Research - Austin specializing in operating system architecture, formal verification of processor cores, and integrated circuit design.
Publications per year
2006–2006
1
1
Verification of the cell broadband engine™ processor
Kanna Shimizu, Sanjay Gupta, Tatsuya Koyama et al. · 2006 · 13 citations
1–1 of 1