Files in this item

FilesDescriptionFormat

application/octet-stream

application/octet-streamvlogsl_for_HVC.tgz (674Kb)
(no description provided)Unknown

Description

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
URI:http://hdl.handle.net/2142/17401
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2010-11-12


This item appears in the following Collection(s)

Item Statistics

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