Enabler-based synchronizer model for clock domain crossing static verification.
Mejid KebailiKatell Morin-AlloryJean-Christophe BrignoneDominique BorrionePublished in: FDL (2015)
Keyphrases
- computational model
- high level
- sensitivity analysis
- neural network
- domain specific
- probabilistic model
- cost function
- domain independent
- statistical model
- mathematical model
- theoretical framework
- least squares
- high speed
- similarity measure
- social networks
- process model
- probability distribution
- multiscale
- experimental data
- objective function
- power consumption
- network structure
- database
- bayesian framework
- formal model
- formal representation
- domain models