Formal Co-verification for SoC Design with Colored Petri Net.

Jinyu Zhan Nan Sang Guangze Xiong

Published in: ICESS (2004)

Keyphrases

colored petri nets
case study
design process
formal methods
model checking
functional verification
formal verification
petri net
user interface
learning algorithm
embedded systems
hardware and software
design decisions
optimal design
multi agent
multiscale
image processing
information systems