Multilevel Design Understanding: From Specification to Logic Invited Paper
Ray, Sandip; Harris, Ian G.; Fey, Goerschwin; Soeken, Mathias
2016

Abstract

We present an outline of the field of Multilevel Design Understanding by first defining and motivating the related problems, and then describing the key issues which must be addressed in future research.

Details

Title Multilevel Design Understanding: From Specification to Logic Invited Paper
Author(s) Ray, Sandip ; Harris, Ian G. ; Fey, Goerschwin ; Soeken, Mathias
Published in 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Pagination 6
Series ICCAD-IEEE ACM International Conference on Computer-Aided Design
Conference 35th IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Austin, TX, NOV 07-10, 2016
Date 2016
Publisher New York, Assoc Computing Machinery
ISBN 978-1-4503-4466-1
Keywords
DOI https://doi.org/10.1145/2966986.2980093
Other identifier(s) View record in Web of Science
Laboratories LSI2
Record Appears in Scientific production and competences > STI - School of Engineering > IEM - Institut d'Electricité et de Microtechnique > LSI2 - Integrated Systems Laboratory (STI/IC)
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2017-01-24

Actions