Logic simulation is a crucial verification task in processor design. Aiming at significant acceleration of system simulation we have parallelized IBM's cycle-based simulator TEXSIM. The resulting parallelTEXSIM has already been employed successfully in simulating S/390 architectures on IBM SP systems. Here we present parallelTEXSIM together with its model partitioning environment.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:32470 |
| Date | 13 December 2018 |
| Creators | Döhler, Denis, Hering, Klaus, Spruth, Wilhelm G. |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, doc-type:conferenceObject, info:eu-repo/semantics/conferenceObject, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 978-0-7803-4980-3 |
Page generated in 0.0023 seconds