New Data Structures and Algorithms for Logic Synthesis and Verification. (2017)

• Record Type: Book
• Further Information: Note: By Luca Gaetano Amaru.
• Authors: Amaru, Luca Gaetano
• Other Names: École nationale supérieure des beaux-arts (France)
• Contents: Introduction -- Part 1. Logic Representation, Manipulation and Optimization -- Biconditional Logic -- Majority Logic -- Part 2. Logic Satisfiability and Equivalence Checking -- Exploiting Logic Properties to Speedup SAT -- Majority Normal Form Representation and Satisfiability -- Improvements to the Equivalence Checking of Reversible Circuits -- Conclusions.
• Publisher Details: Cham : Springer International Publishing Imprint Springer
• Publication Date: 2017
• Extent: 1 online resource (XVI, 156 pages 44 illustrations, 20 illustrations in color.)
• Subjects: 621.3815; Engineering; Logic design; Microprocessors; Electronic circuits; Data structures (Computer science); Logic circuits; Data structures (Computer science); Electronic circuits; Engineering; Logic circuits; Logic design; Microprocessors; Computers -- Systems Architecture -- General; Computers -- Logic Design; Computer architecture & logic design; Systems engineering; Computer science; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 3319431749; 9783319431741
• Notes: Note: Includes bibliographical references at the end of each chapters and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.