SPECC: Specification Language and Methodology

List 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.