Name
Abstract | ||
|---|---|---|
Verifying functional models is state of the art in the electronic design automation (eda) industry. Improved methods enable the application in industry sized projects. These methods basically work on a detailed state model, properties must be expressible on states. On system level, behavior is expressed in terms of (timed) transactions between functional or architectural artifacts of the design. While recent model checking methods use some workarounds to map transaction models onto state models, we present an alternative approach with an extended system model to verify transaction properties. |
Year | Venue | Keywords |
|---|---|---|
2007 | SpringSim (1) | improved method,transaction property,system level,state model,functional model,extended system model,recent model checking method,electronic design automation,detailed state model,formal verification,transaction model,petri net,petri nets,system modeling,model checking,temporal logic |
Field | DocType | ISBN |
Formal equivalence checking,Functional verification,Model checking,Petri net,Computer science,Real-time computing,Electronic design automation,Database transaction,System model,Formal verification | Conference | 1-56555-312-8 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexander Pacholik | 1 | 4 | 2.54 |
| Wolfgang Fengler | 2 | 11 | 9.42 |