Sign in
Properties First - Correct-By-Construction RTL Design in System-Level Design Flows.
Tobias Ludwig
Joakim Urdahl
Dominik Stoffel
Wolfgang Kunz
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
case study
building blocks
low cost
design process
design principles
design issues
database
real time
data mining
high level
user interface
evolutionary algorithm
software architecture
computer aided
optimal design