Efficient and Customizable Integration of Temporal Properties into SystemC.
| Autor: | Vachoux, A., Weiss, Roland J., Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang |
|---|---|
| Zdroj: | Applications of Specification & Design Languages for SoCs; 2006, p101-114, 14p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|