Detailansicht
SpecC: Specification Language and Methodology
Gajski, Daniel D/Jianwen Zhu/Dömer, Rainer et al
ISBN/EAN: 9780792378228
Umbreit-Nr.: 1617088
Sprache:
Englisch
Umfang: xvii, 313 S.
Format in cm:
Einband:
gebundenes Buch
Erschienen am 31.03.2000
- Zusatztext
- InhaltsangabeList of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Essential Issues in System Level Design. 3. The SpecC Language. 4. The SpecC Methodology. 5. System Level Design with SpecC. 6. Conclusions. Appendices. Index.
- Kurztext
- This text describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of steps. Each model is described and guidelines are given for generating these models from executable specifications.