AuthorsCharles E. LeisersonFlavio M. RoseJames B. SaxeTopicsVLSI and FPGA Design TechniquesLow-power high-performance VLSI designFormal Methods in VerificationAboutPublishedJan 1, 1983Citations356References16View API DocsGet API Key