Multilevel Design Understanding: From Specification to Logic Invited Paper
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
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
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2017-01-24