Properties first? a new design methodology for hardware, and its perspectives in safety analysis.

Joakim Urdahl, Shrinidhi Udupi, Tobias Ludwig, Dominik Stoffel, Wolfgang Kunz

Browse the full ICCAD paper archive.