ACM International Conference on Computer-Aided Design, ICCAD 2016


Article Details
Title: Properties first? a new design methodology for hardware, and its perspectives in safety analysis
Article URLs:
Alternative Article URLs:
Authors: Joakim Urdahl
  • University of Kaiserslautern, Dept. of Electrical and Computer Engineering
Shrinidhi Udupi
  • University of Kaiserslautern, Dept. of Electrical and Computer Engineering
Tobias Ludwig
  • University of Kaiserslautern, Dept. of Electrical and Computer Engineering
Dominik Stoffel
  • University of Kaiserslautern, Dept. of Electrical and Computer Engineering
Wolfgang Kunz
  • University of Kaiserslautern, Dept. of Electrical and Computer Engineering
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/iccad/UrdahlULSK16
Author Comments:

Discuss this paper and its artifacts below