• DocumentCode
    1477563
  • Title

    System verification using multilevel concurrent simulation

  • Author

    Lentz, Karen Panetta ; Heller, Jamie ; Montessoro, Pier Luca

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., Tufts Univ., Medford, MA, USA
  • Volume
    19
  • Issue
    1
  • fYear
    1999
  • Firstpage
    60
  • Lastpage
    67
  • Abstract
    The verification of multilevel designs in a single simulator environment can be achieved efficiently using concurrent simulation. MCS is a research simulation tool developed in conjunction with Compaq Computer Corporation and Draper Laboratories. MCS overcomes limitations imposed by merged simulator approaches. MCS achieves this by incorporating techniques that are not specific to any abstraction level, making it attractive for testing interface interconnects and mixed-mode logic. We describe our approach, which is a cohesive simulator platform based on concurrent simulation algorithms
  • Keywords
    circuit simulation; formal verification; parallel programming; virtual machines; MCS; abstraction level; cohesive simulator platform; concurrent simulation; concurrent simulation algorithms; interface interconnect testing; merged simulator approaches; mixed-mode logic; multilevel concurrent simulation; multilevel designs; research simulation tool; single simulator environment; system verification; Analytical models; Circuit faults; Circuit simulation; Computational modeling; Design engineering; Intellectual property; Kernel; Logic testing; Process design; Robustness;
  • fLanguage
    English
  • Journal_Title
    Micro, IEEE
  • Publisher
    ieee
  • ISSN
    0272-1732
  • Type

    jour

  • DOI
    10.1109/40.748797
  • Filename
    748797