Architectural system modeling for correct-by-construction RTL design.

Joakim Urdahl Dominik Stoffel Wolfgang Kunz

Published in: FDL (2015)

Keyphrases

software architecture
databases
real world
case study
user interface
human computer interaction
architectural design
database
genetic algorithm
artificial intelligence
data model
low cost
user experience
engineering design
optimal design