Œo—π

Last Modified: August 31, 2011

 

@@@@@‚³‚³‚¨@‚Β‚Ζ‚ή
ށ–Ό@@@ω”φ@@‹Ξ

‚P‚X‚V‚Q”N@@@@@@@‘εγ‘εŠwHŠw•”“dŽqHŠw‰Θ‘²‹Ζ
‚P‚X‚V‚V”N@@@@@@@‘εγ‘εŠw‘εŠw‰@HŠwŒ€‹†‰Θ”ŽŽm‰Ϋ’φC—ΉiHŠw”ŽŽmj
‚P‚X‚V‚V”N@@@@@@@‘εγ‘εŠwHŠw•”•Žθ
‚P‚X‚W‚Q”N[‚W‚R”N@@@•č‘IBMŽΠƒƒgƒ\ƒ“Œ€‹†Š‹qˆυŒ€‹†ˆυ
‚P‚X‚W‚W”N@@@@@@@‹γBH‹Ζ‘εŠwEξ•ρHŠw•”E“dŽqξ•ρHŠw‰Θ•‹³Žφ
‚P‚X‚X‚O”N@@@@@@@•葊CŒR‘εŠw‰@‘εŠw@‹qˆυ‹³Žφ
‚P‚X‚X‚R”N[Œ»έ@@@@‹γBH‹Ζ‘εŠwEξ•ρHŠw•”E“dŽqξ•ρHŠw‰Θ‹³Žφ
‚Q‚O‚O‚O”N[‚O‚S”N@@@‹γBH‹Ζ‘εŠwƒ}ƒCƒNƒ‰»‘‡‹ZpƒZƒ“ƒ^[’·

Œ€‹†•ͺ–μF@˜_—έŒvCƒXƒCƒbƒ`ƒ“ƒO—˜_C˜_—‰ρ˜H‚Μ•‘ŽG“x‰πΝC
@@@@@@‘½’l˜_—‚Μ‰ž—pC‚o‚k‚`έŒvC‘½’i˜_—‡¬
Žε—v’˜‘
  ŽΊ‰κCω”φi‹€–σjCh˜_—έŒv‚ΖƒXƒCƒbƒ`ƒ“ƒO—˜_F‚k‚r‚hC‚u‚k‚r‚h‚Μ
@έŒvŠξ‘bhC‹€—§o”ŁCi‚P‚X‚W‚P|‚O‚VjD
@Œό“aCω”φChƒXƒCƒbƒ`ƒ“ƒO—˜_‰‰KCh’©‘q‘“XCi‚P‚X‚W‚S|‚O‚TjD
@ω”φCh‚o‚k‚`‚̍μ‚θ•ϋŽg‚’•ϋCh“ϊЧH‹ΖV•·ŽΠCi‚P‚X‚W‚U|‚O‚TjD
@ω”φ,h˜_—έŒvFƒXƒCƒbƒ`ƒ“ƒO‰ρ˜H—˜_Ah‹ί‘γ‰ΘŠwŽΠi‚P‚X‚X‚T[‚O‚Pj
  T. Sasao (ed.)  "Logic Synthesis and Optimization," 
  Kluwer Academic Publishers 1993.
  T. Sasao and M. Fujita (ed.)"Representation of Discrete Functions,"
  Kluwer Academic Publishers 1996.
  T. Sasao,"Switching Theory for Logic Synthesis," 
  Kluwer Academic Publishers 1999.
  S. Hassoun and T. Sasao,"Logic Synthesis and Verification," 
  Kluwer Academic Publishers 2002.
  T. Sasao and J. T. Butler, "Progress in Applications of Boolean Functions,"
  Morgan & Claypool Publishers, Jan. 2010. pp.1-153.
  T. Sasao, "Memory-Based Logic Synthesis," Springer, March 2011.

ŽσάŠΦŒW
@‚P‚X‚V‚X”N@’O‰H‹L”Oά
@‚P‚X‚W‚V”N  Distinguished Contribution Award, IEEE Computer Society, MVL-TC (ISMVL-1986)
  ‚P‚X‚X‚S”N  IEEE Fellow
  ‚P‚X‚X‚U”N  Distinctive Contributed Paper Award, IEEE Computer Society@(ISMVL-1995)
  ‚Q‚O‚O‚P”N  •“cŒ€‹†§—γάEΕ—DGŒ€‹†ά
@‚Q‚O‚O‚S”N  Distinctive Contributed Paper Award, IEEE Computer Society@iISMVL-2003)
@‚Q‚O‚O‚T”N  Distinctive Contributed Paper Award, IEEE Computer Society   (ISMVL-2004)
  ‚Q‚O‚P‚O”N@1st Place, Design Contest, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE-2010), 
  ‚Q‚O‚P‚O”N@Outstanding Paper Award (SASIMI 2010)
  ‚Q‚O‚P‚P”N@Outstanding Paper Award, IPSJ Transactions on System LSI Design Methodology

Back