Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Book Details
Author(s)Jui-Ming Chang, Massoud Pedram
PublisherSpringer
ISBN / ASIN0792385608
ISBN-139780792385608
MarketplaceGermany 🇩🇪
