Home›Books›Tsutomu SasaoTsutomu SasaoNo biography available.Works (6)Logic synthesis and verificationProgress in applications of Boolean functionsLogic synthesis and optimizationMemory-based logic synthesisRepresentations of discrete functionsLogic synthesis and verification