Properties first? A new design methodology for hardware, and its perspectives in safety analysis
| Author: | Joakim Urdahl, Shrinidhi Udupi, Tobias Ludwig, Dominik Stoffel, Wolfgang Kunz |
|---|---|
| URL: | https://ieeexplore.ieee.org/abstract/document/7827661 |
| URL: | https://dl.acm.org/doi/10.1145/2966986.2980086 |
| DOI: | https://doi.org/10.1145/2966986.2980086 |
| ISBN: | 978-1-4503-4466-1 |
| ISBN: | 978-1-5090-3421-5 |
| ISSN: | 1558-2434 |
| Parent Title (English): | 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2016 |
| Year of first Publication: | 2016 |
| Release Date: | 2024/10/31 |
| Page Number: | 8 |
| First Page: | 1 |
| Last Page: | 8 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Elektrotechnik und Informationstechnik / Entwurf Informationstechnischer Systeme |
| Open access state: | Closed Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |