Vladimir Herdt
Werke:
- Efficient modeling, verification and analysis techniques to enhance the virtual prototype based design flow for embedded systems
- Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
- Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
- Towards Automated Refinement of TLM Properties to RTL