New data structures and algorithms for logic synthesis and verification

DOI10.1007/978-3-319-43174-1MaRDI QIDQ2979067zbMATH OpenOpenAlexFDO

Authors Luca Gaetano Amarù

Publication date 2 May 2017

Full work available at URL http://infoscience.epfl.ch/record/214607

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)

Recommendations

• Advanced logic synthesis
• scientific article; zbMATH DE number 918600
• Finite state machine logic synthesis for complex programmable logic devices
• scientific article; zbMATH DE number 792232
• scientific article; zbMATH DE number 1294428

Cited in

(4)

• Malyugin's theorems: A new concept in logical control, VLSI design, and data structures for new technologies
• Advanced logic synthesis
• scientific article; zbMATH DE number 918600 (Why is no real title available?)
• Hardware implementation of code converters designed to reduce the length of binary encoded words

This page was built for publication: New data structures and algorithms for logic synthesis and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979067)