The Community for Technology Leaders
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) (2016)
Santa Cruz, CA, USA
Oct. 7, 2016 to Oct. 8, 2016
ISSN: 2471-7827
ISBN: 978-1-5090-4271-5
TABLE OF CONTENTS

Welcome Message (PDF)

Prab Varma , Real Intent, Inc., Sunnyvale, CA, U.S.A.
Miroslav N. Velev , Aries Design Automation, LLC, Chicago, IL, U.S.A.
pp. 1

Author index (PDF)

pp. 1-3

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats (Abstract)

Mohamed O. Kayed , Mentor Graphics, Cairo, Egypt
Mohamed Abdelsalam , Mentor Graphics, Cairo, Egypt
Rafik Guindi , Nile University, Cairo, Egypt
pp. 1-8

Accelerating assertion assessment using GPUs (Abstract)

Jason G. Tong , Integrated Microsystems Laboratory - McGill University, Montreal, Quebec, Canada
Marc Bouley , Ecole de Technologie Superieure, Montreal, Quebec, Canada
Zeljko Zilic , Integrated Microsystems Laboratory - McGill University, Montreal, Quebec, Canada
pp. 9-16

Control-flow guided clause generation for property directed reachability (Abstract)

Xian Li , Embedded Systems Group, Department of Computer Science, University of Kaiserslautern, Germany
Klaus Schneider , Embedded Systems Group, Department of Computer Science, University of Kaiserslautern, Germany
pp. 17-24

Log2model: inferring behavioral models from log data (Abstract)

Kasper S. Luckow , Carnegie Mellon University Silicon Valley, Mountain View, CA, USA
Corina S. Pasareanu , NASA Ames Research Center, Moutain View, CA, USA
pp. 25-29

Formal semantics of behavior specifications in the architecture analysis and design language standard (Abstract)

Lo?c Besnard , INRIA & IRISA
Thierry Gautier , INRIA & IRISA
Clement Guy , INRIA & IRISA
Paul Le Guernic , INRIA & IRISA
Jean-pierre Talpin , INRIA & IRISA
Brian R. Larson , FDA Scholar at KSU
Etienne Borde , Telecom ParisTech
pp. 30-39

Specification by existing design plus use-cases (Abstract)

Yusuke Kimura , Dept. of Electronic Engineering, The University of Tokyo, Tokyo, JAPAN
Masahiro Fujita , VLSI Design and Education Center, The University of Tokyo, Tokyo, JAPAN
pp. 40-45

Design centric modeling of digital hardware (Abstract)

Johannes Schreiner , Infineon Technologies AG, Munich, Germany
Rainer Findenigy , Infineon Technologies AG, Linz, Austria
Wolfgang Ecker , Infineon Technologies AG, Munich, Germany
pp. 46-52

Design space exploration for deterministic ethernet-based architecture of automotive systems (Abstract)

Prachi Joshi , Virginia Tech, USA
Vedahari Narasimhan G. , Virginia Tech, USA
Haibo Zeng , Virginia Tech, USA
Sandeep K. Shukla , IIT Kanpur, India
Chung-wei Lin , Toyota InfoTech. Center, USA
Huafeng Yu , Boeing Research and Technology, USA
pp. 53-61

Fault injection ecosystem for assisted safety validation of automotive systems (Abstract)

Sebastian Reiter , FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany
Alexander Viehl , FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe, Germany
Oliver Bringmann , Universitat Tubingen, Sand 13, D-72076 Tubingen, Germany
Wolfgang Rosenstiel , Universitat Tubingen, Sand 13, D-72076 Tubingen, Germany
pp. 62-69

Modeling, programming and performance analysis of automotive environment map representations on embedded GPUs (Abstract)

Jorg Fickenscher , Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander University Erlangen-Nurnberg (FAU), Germany
Oliver Reiche , Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander University Erlangen-Nurnberg (FAU), Germany
Jens Schlumberger , Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander University Erlangen-Nurnberg (FAU), Germany
Frank Hannig , Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander University Erlangen-Nurnberg (FAU), Germany
Jurgen Teich , Hardware/Software Co-Design, Department of Computer Science, Friedrich-Alexander University Erlangen-Nurnberg (FAU), Germany
pp. 70-77

Cross-layer resilience: are high-level techniques always better? (Abstract)

Jacob A. Abraham , Computer Engineering Research Center, The University of Texas at Austin, Austin, Texas 78712
pp. 78

Dynamic service synthesis and switching for medical IoT and ambient assisted living (Abstract)

Daniel Yunge , Technische Universitat Munchen (TUM)
Sangyoung Park , Technische Universitat Munchen (TUM)
Philipp Kindt , Technische Universitat Munchen (TUM)
Graziano Pravadelli , University of Verona
Samarjit Chakraborty , Technische Universitat Munchen (TUM)
pp. 79-84

High-level modeling for computer-aided clinical trials of medical devices (Abstract)

Houssam Abbas , Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA 19104
Zhihao Jiang , Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA 19104
Kuk Jin Jang , Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA 19104
Marco Beccani , Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA 19104
Jackson Liangy , Cardiovascular Division, Hospital of the University of Pennsylvania
Rahul Mangharam , Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA 19104
pp. 85-92

Brain-computer interface using P300: a gaming approach for neurocognitive impairment diagnosis (Abstract)

Daniela De Venuto , Dept. of Electrical and Information Engineering (DEI), Politecnico di Bari, Italy, Via Orabona 4, 70125 Bari - Italy
Valerio Francesco Annese , Dept. of Electrical and Information Engineering (DEI), Politecnico di Bari, Italy, Via Orabona 4, 70125 Bari - Italy
Giovanni Mezzina , Dept. of Electrical and Information Engineering (DEI), Politecnico di Bari, Italy, Via Orabona 4, 70125 Bari - Italy
Michele Ruta , Dept. of Electrical and Information Engineering (DEI), Politecnico di Bari, Italy, Via Orabona 4, 70125 Bari - Italy
Eugenio Di Sciascio , Dept. of Electrical and Information Engineering (DEI), Politecnico di Bari, Italy, Via Orabona 4, 70125 Bari - Italy
pp. 93-99

A segment-aware multi-core scheduler for system C PDES (Abstract)

Guantao Liu , Center for Embedded and Cyber-physical Systems, University of California, Irvine
Tim Schmidt , Center for Embedded and Cyber-physical Systems, University of California, Irvine
Rainer Domer , Center for Embedded and Cyber-physical Systems, University of California, Irvine
pp. 100-107

Automatically adjusting system level designs after RTL/gate-level ECO (Abstract)

Qinhao Wang , University of Tokyo
Yusuke Kimura , University of Tokyo
Masahiro Fujita , University of Tokyo
pp. 108-112

A unifying flow to ease smart systems integration (Abstract)

Michele Lora , Dept. of Computer Science, University of Verona, Italy
Sara Vinco , Dept. of Computer Engineering, Politecnico di Torino, Italy
Franco Fummi , Dept. of Computer Science, University of Verona, Italy
pp. 113-120

Estimation of formal verification cost using regression machine learning (Abstract)

Eman El Mandouh , Mentor Graphics Corporation, Design Verification Technology
Amr G. Wassal , Computer Engineering Department, Cairo University, Egypt
pp. 121-127

Hardware-in-the-loop model-less diagnostic test generation (Abstract)

Sarmad Tanwir , Virginia Tech, Blacksburg, VA 24060, USA
Michael S. Hsiao , Virginia Tech, Blacksburg, VA 24060, USA
Loganathan Lingappan , Intel Corporation, 1900 Prairie City Rd, Folsom, CA 95630, USA
pp. 128-135

Clock domain crossing formal verification: a meta-model (Abstract)

Mejid Kebaili , Univ. Grenoble Alpes and CNRS, TIMA Laboratory, F-38031 Grenoble
Jean-christophe Brignone , STMicroelectronics
Katell Morin-Allory , Univ. Grenoble Alpes and CNRS, TIMA Laboratory, F-38031 Grenoble
pp. 136-141

Word-level traversal of finite state machines using algebraic geometry (Abstract)

Xiaojun Sun , Electrical & Computer Engineering, University of Utah, Salt Lake City, UT
Priyank Kalla , Electrical & Computer Engineering, University of Utah, Salt Lake City, UT
Florian Enescu , Mathematics & Statistics, Georgia State University, Atlanta, GA
pp. 142-149

Deciphering cancer biology using boolean methods (Abstract)

Subarna Sinha , Department of Computer Science, Stanford University, CA, U.S.A.
David L. Dill , Department of Computer Science, Stanford University, CA, U.S.A.
pp. 150-154

SyQUAL: a platform for qualitative modelling and simulation of biological systems (Abstract)

Rosario Distefano , Department of Computer Science, University of Verona, Verona, 37134, Italy
Nickolas Goncharenko , The Donnelly Centre, University of Toronto, Toronto, ON M5S 3E1, Canada
Franco Fummi , Department of Computer Science, University of Verona, Verona, 37134, Italy
Rosalba Giugno , Department of Computer Science, University of Verona, Verona, 37134, Italy
Gary D. Badery , The Donnelly Centre, University of Toronto, Toronto, ON M5S 3E1, Canada
Nicola Bombieri , Department of Computer Science, University of Verona, Verona, 37134, Italy
pp. 155-161

High-level modeling and verification of cellular signaling (Abstract)

Natasa Miskov-Zivanov , University of Pittsburgh, Electrical and Computer Engineering, Bioengineering Computational and Systems Biology, Pittsburgh, PA, USA
Paolo Zuliani , Newcastle University, Computer Science, Newcastle upon Tyne, UK
Qinsi Wang , Carnegie Mellon University, Computer Science, Pittsburgh, PA, USA
Edmund M. Clarke , Carnegie Mellon University, Computer Science, Pittsburgh, PA, USA
James R. Faeder , University of Pittsburgh, Computational and Systems Biology, Pittsburgh, PA, USA
pp. 162-169

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans (Abstract)

Md. Ariful Islam , Deparment of Computer Science, Carnegie Mellon University
Qinsi Wang , Deparment of Computer Science, Carnegie Mellon University
Ramin M. Hasani , Department of Computer Science, Stony Brook University
Ondrej Balun , Department of Computer Science, Stony Brook University
Edmund M. Clarke , Deparment of Computer Science, Carnegie Mellon University
Radu Grosu , Department of Informatics, Vienna University of Technology
Scott A. Smolka , Department of Computer Science, Stony Brook University
pp. 170-177

Formal modeling of biological systems (Abstract)

Qinsi Wang , Computer Science Department, Carnegie Mellon University, USA
Edmund M. Clarke , Computer Science Department, Carnegie Mellon University, USA
pp. 178-184
97 ms
(Ver 3.3 (11022016))