|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
System Verification Using Multilevel Concurrent Simulation
January/February 1999 (vol. 19 no. 1)
pp. 60-67
| ASCII Text | x | ||
| Karen Panetta Lentz, Jamie Heller, Pier Luca Montessoro, "System Verification Using Multilevel Concurrent Simulation," IEEE Micro, vol. 19, no. 1, pp. 60-67, January/February, 1999. | |||
| BibTex | x | ||
| @article{ 10.1109/40.748797, author = {Karen Panetta Lentz and Jamie Heller and Pier Luca Montessoro}, title = {System Verification Using Multilevel Concurrent Simulation}, journal ={IEEE Micro}, volume = {19}, number = {1}, issn = {0272-1732}, year = {1999}, pages = {60-67}, doi = {http://doi.ieeecomputersociety.org/10.1109/40.748797}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Micro TI - System Verification Using Multilevel Concurrent Simulation IS - 1 SN - 0272-1732 SP60 EP67 EPD - 60-67 A1 - Karen Panetta Lentz, A1 - Jamie Heller, A1 - Pier Luca Montessoro, PY - 1999 KW - concurrent fault simulation KW - multilevel modeling KW - behavioral modeling KW - system verification VL - 19 JA - IEEE Micro ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/40.748797
There is a growing demand to validate and test designs that integrate a multitude of discrete, standard and commercial off the shelf (COTS) components and software. Often, the proprietary nature of COTS further complicates the validation process by prohibiting designers from implementing a robust test and validation strategy. In order to preserve a vendor's intellectual property, a customer is often provided a high level model, with limited access to its internals. This limitation may preclude a customer from fully exercising their embedded designs, which may create safety issues for some embedded systems. The increasing use of high level models is creating a need for tools that are capable of testing and validating COTS components in conjunction with an engineer's more detailed design. Unfortunately, simulation tools currently available are incapable of simulating multilevel designs, which include gate, RTL and behavioral levels. Those tools that do attempt to solve these problems resort to merging simulators together, each targeted at handling a specific level of abstraction. This approach incurs high communication overhead between simulators, as well as impaired observation and accuracy.
Index Terms:
concurrent fault simulation, multilevel modeling, behavioral modeling, system verification
Citation:
Karen Panetta Lentz, Jamie Heller, Pier Luca Montessoro, "System Verification Using Multilevel Concurrent Simulation," IEEE Micro, vol. 19, no. 1, pp. 60-67, Jan.-Feb. 1999, doi:10.1109/40.748797
Usage of this product signifies your acceptance of the Terms of Use.

