The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
Shinnosuke YamaguchiA. NishinoKatsumi WasakiYasunari ShidamaPublished in: ICARCV (2004)
Keyphrases
- petri net
- petri net model
- functional verification
- object oriented
- colored petri nets
- discrete event systems
- circuit design
- web service composition
- single chip
- design process
- metadata
- formal methods
- source code
- xml documents
- holonic manufacturing systems
- relational databases
- manufacturing systems
- formal specification
- model checking
- physical design
- low cost
- chip design