Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams

Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2529/2002
BookFormal Techniques for Networked and Distributed Sytems — FORTE 2002
DOI10.1007/3-540-36135-9
Copyright2002
ISBN978-3-540-00141-6
DOI10.1007/3-540-36135-9_25
Page369
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams

Thanyapat Sakunkonchak6 Contact Information and Masahiro Fujita6 Contact Information

(6)  Department of Electronic Engineering, University of Tokyo, 7-3-1, Hongo, Bunkyo-ku, 113-8656 Tokyo, Japan
Abstract
We introduce an on-going work that tries to develop a technique for the verification of synchronization issues in SpecC language,a C-based system level description language. It is summarized as followed.

Contact Information Thanyapat Sakunkonchak
Email: thong@cad.t.u-tokyo.ac.jp

Contact Information Masahiro Fujita
Email: fujita@ee.t.u-tokyo.ac.jp
Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb04
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)