A Framework for the Functional Verification of SystemC Models
- 作者Francesco Bruschi; Fabrizio Ferrandi; Donatella Sciuto
- 卷第33卷
- 期第6期
- 印刷ISSN0885-7458
- 电子ISSN1573-7640
- 文件大小249.75KB
- 发表时间2005-12
- DOI10.1007/s10766-005-8908-x
- 页码667-695
同作者推荐
Measurement and modeling of vapor–liquid equilibria at high salt concentrationsP. Kolář; H. Nakata; A. Tsuboi; P. Wang; A. Anderko · 2005
Modeling phase equilibria and speciation in mixed-solvent electrolyte systemsP. Wang; R.D. Springer; A. Anderko; R.D. Young · 2004
Modeling phase equilibria and speciation in mixed-solvent electrolyte systems: II. Liquid–liquid equilibria and properties of associating electrolyte solutionsP. Wang; A. Anderko; R.D. Springer; R.D. Young · 2006