IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Source Code for vlogsl (HVC 2010)

Show full item record

Bookmark or cite this item:

Files in this item

File Description Format
Unknown vlogsl_for_HVC.tgz (674KB) (no description provided) Unknown
Title: Source Code for vlogsl (HVC 2010)
Author(s): Katelman, Michael
Contributor(s): Meseguer, José
Subject(s): Hardware Verification Simulation Formal Methods
Abstract: This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Verification of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the experiments reported in the paper.
Issue Date: 2010
Type: Other
Publication Status: unpublished
Peer Reviewed: not peer reviewed
Date Available in IDEALS: 2010-11-12

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 30
  • Downloads this Month: 0
  • Downloads Today: 0


My Account


Access Key