Logic synthesis and verificationde Tsutomu SasaoMateriasLogic circuitsLogic designComputer-aided designData processingEdiciones (1)Logic synthesis and verification (2002)Kluwer Academic Publishers · inglésMás obras de Tsutomu SasaoSSwitching theory for logic synthesisSwitching theory for logic synthesis1999Memory-based logic synthesisRepresentations of discrete functions