Towards a Highly Interactive Design-Debug-Verification Cycle.

Lucas Klemmer Daniel Große

Published in: ASPDAC (2024)

Keyphrases

highly interactive
user friendly
computer aided
design process
case study
machine learning
optimal design
metadata
image processing
software architecture
building blocks
user interface
formal verification
conceptual framework
low cost
real time
search algorithm
e learning
search engine
information retrieval
databases