Formal Verification of SystemC Designs Using a Petri-Net Based Representation

Karlsson, D; Eles, P.; Zebo Peng, null

doi:10.1109/DATE.2006.244076

Record: found
Abstract: not found
Conference Proceedings: not found

Formal Verification of SystemC Designs Using a Petri-Net Based Representation

proceedings-article

Author(s): D. Karlsson , P. Eles , Zebo Peng

Publication date (Print): 2006

Publisher: IEEE

Conference name: 2006 Design, Automation and Test in Europe

Conference date: April 6, 2006 - April 10, 2006

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publisher: IEEE

Publication date: 2006

Publication date (Print): 2006

Pages: 1-6

Article

DOI: 10.1109/DATE.2006.244076

SO-VID: 33a62fe0-53a3-411d-8a52-a03e0a5b9eff

Conference name: 2006 Design, Automation and Test in Europe

Conference location: Munich, Germany

Conference date: April 6, 2006 - April 10, 2006

History

Data availability:

Formal Verification of SystemC Designs Using a Petri-Net Based Representation

Read this article at

Related collections

Genome Engineering using CRISPR

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 4,962

Cited by 4