3 verification-computer-science positions at Technical University of Denmark in Denmark
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal