Abstract | ||
---|---|---|
In order to extensively explore design space one has to specify a system on a very abstract level. Transforming a specification into a correct implementation is usually an error prone task. Moreover, one may want to specify a system on different abstraction levels. This work introduces a component oriented simulator approach that comprises AsmL based executable specifications. Test cases are automatically generated from the specification. Concurrent verification techniques are used to run the specification in parallel with the implementation. Feasibility of such rapid specifying techniques is proved by simulating a 3D graphics engine for the UC Irvine MorphoSys SIMD system-on-chip. |
Year | Venue | Keywords |
---|---|---|
2003 | ESTIMedia | system on chip,3d graphics |
Field | DocType | Citations |
Design space,3D computer graphics,Abstraction,Simulation,Computer science,SIMD,Test case,Component oriented programming,Embedded system,Executable | Conference | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Paar | 1 | 44 | 6.69 |
Haitao Du | 2 | 55 | 6.88 |
Nader Bagherzadeh | 3 | 1674 | 182.54 |