Towards consistency checking between HDL and UPF descriptions.
Arthur KalsingLaurent FesquetChouki AktoufPublished in: FDL (2017)
Keyphrases
- consistency checking
- stochastic search
- query answering
- temporal reasoning
- temporal constraints
- design methodology
- databases
- constraint satisfaction problems
- data exchange
- path consistency
- global consistency
- context aware
- end users
- relational databases
- data analysis
- computational complexity
- three dimensional
- database