• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Tsutomu Sasao
  • Computer Science
  • 1997 (First Publication: 1 May 1997)
  • Notice that because fx ⊇ fx′ , fx + fx′ = fx. Complementing the above, fx = fx + fx′ = fx · fx′ . Hence the above is proved. Realize the significance of this operation. This allows you to compute theContinue Reading
  • Shinobu Nagayama, Tsutomu Sasao
  • Computer Science
  • IEEE Transactions on Computer-Aided Design of…
  • 2005 (First Publication: 1 November 2005)
  • This paper proposes minimization algorithms for the memory size and the average path length (APL) of heterogeneous multivalued decision diagrams (MDDs). In a heterogeneous MDD, each multivaluedContinue Reading
  • Seiji Kajihara, Tsutomu Sasao
  • Computer Science
  • Proceedings Sixth Asian Test Symposium (ATS'97)
  • 1997 (First Publication: 17 November 1997)
  • This paper considers two types of n-bit adders, ripple carry adders and cascaded carry look-ahead adders, with minimum tests for stuck-at-fault models. In the first part, we present two types of fullContinue Reading